トップ «前の日記(2009-06-21) 最新 次の日記(2009-06-23)» 月表示 編集

日々の流転


2009-06-22 [長年日記]

λ. “Parsing Expression Grammars: A Recognition-Based Syntactic Foundation” by Bryan Ford

PEGのオリジナル論文だが、今頃になって読んだ。

PEGって理論的な性質とか全然証明されていないものだと思い込んでいたけど、結構色々証明されてるのね。 そんなことも知らずに、「CFG⊆PEGならO(n2)より小さな計算量のBMMが作れて矛盾、とか言えないんだろうか。*1とか言ってたのかよ、という感じだけど。

面白かったのは、やはりPEGで表現できる空列εを含まない言語は、述語(predicate)を含まないPEGで表現できるという話。 述語を除去する変形がとても巧妙。

関連