"CFG⊆PEG?" Proofathon（略して CPon）作業メモ - bonotakeの日記

"CFG⊆PEG?" Proofathon（略して CPon）作業メモ - bonotakeの日記

文脈自由文法（CFG）から生成される言語と、解釈表現文法（PEG）にて解釈される言語の関係についてのope...概要を表示 文脈自由文法（CFG）から生成される言語と、解釈表現文法（PEG）にて解釈される言語の関係についてのopen problem をみんなで証明してみるオンラインでのバーチャルな会合。参考↓ http://atnd.org/events/1779 http://lingr.com/room/cpon/archives/2009/10/17 ノリで参加してみたけど、楽しかったのです。 概要 当初は、PEGのチェッカとかジェネレータとかこさえたりへんちくりんな反例考えてみたり、とかいうまっとうな（？）方向での参加を考えていたのですが、途中でLingrの部屋のログを読み返してて kinaba 連接 e1 e2 はだいたい e1>>=e2 で、選択 e1|e2 や e1/e2 はだいたい e1 `mplus` e2 で、 リストモナドにすればCFGでMaybeモナドにすればPEGになると思うんですけど