PEGと構文解析に関するアレコレの勉強会 Vol.1 まとめ

erukiti @erukiti

BFNの縦棒は「どちらか」という曖昧さがあるけど、 PEGのスラッシュは「前にマッチしたら前、しなければ後ろ」 という順序的な厳密さがある #peg_study

コツメカワウソ @_nnioo_

e_1 / e_2 ： e_1を試し、失敗したらe_2を試す。 このあたりは正規表現と違う感じだなー、非可換だし。 #peg_study

やぬすさん / TAKAGI Kensuke @janus_wel

正規表現に似てるなぁ #peg_study

erukiti @erukiti

肯定先読み、否定先読み #peg_study

erukiti @erukiti

PEGのexpressionは、正規表現知ってればなんとなくなじめそうな感じのもの #peg_study

Takuto Wada @t_wada

yaccやJavaCCは字句解析と構文解析の分離が前提だが、最近の言語の文法と相性が悪い(ヒアドキュメント、string interpolation、文脈依存トークン等)。空白の有無で意味が変わったり、トークンが再帰的な構造を含む文法は苦手。そこでPEG。 #peg_study

erukiti @erukiti

はっはっは、素直な結果が帰ってくる処理系はよいですなぁ 今日、素直じゃない結果が帰ってくるPEG.jsのLTやります #peg_study

コツメカワウソ @_nnioo_

形式言語 #peg_study

専門性・売上・原稿 @golden_lucky

あらぶる娘を横目に #peg_study を読んでいる。

やぬすさん / TAKAGI Kensuke @janus_wel

言語は文字の集合 #peg_study

iWA @vmi_jp

#peg_study 「文法のconflictが起きない」すばらしいw

やぬすさん / TAKAGI Kensuke @janus_wel

しふとりでゅーすこんふりと？ #peg_study

秋津早苗 @akitsu_sanae

ぶら下がりelseの話 #peg_study

コツメカワウソ @_nnioo_

yaccとかと違ってPEGはshift/reduce conflictが起きないので嬉しいらしい #peg_study

やぬすさん / TAKAGI Kensuke @janus_wel

shift reduce conflict とはこういうことらしい #peg_study if (...) if (...) else <- これはどっちに対応する ?

コツメカワウソ @_nnioo_

厳密性はあるが、それが故に空白読み飛ばしとかは明示的に書く必要あり。マクロとかあれば楽できそう（？） #peg_study

Takuto Wada @t_wada

PEGで嬉しいこと 1.無限長の先読みが可能。字句解析不要で柔軟な文法が記述しやすい 2.曖昧性がなく文法の conflict が起きない。解釈のルールが決まっているので shift/reduce conflict は起こらない(ぶらさがり else とか) #peg_study

erukiti @erukiti

A / A B と A B / A は違う話 (前者は無意味) #peg_study

iWA @vmi_jp

#peg_study 「空白の読み飛ばしなどを明示する必要がある」←近年増えてきたセミコロンレス言語だとむしろ利点な気がする。

コツメカワウソ @_nnioo_

PEGだとelseを含む文が解析できないという事故 #peg_study

erukiti @erukiti

空白を明示的に処理する必要があって、 _ = [ " " / "\r" / "\n" / "\t"] とか定義して _ を使ったりするのよくやる #peg_study

Masayoshi Takahashi @takahashim

規則の順序に依存するのは、実用的にハマりがちな気がする（多用しすぎるのが悪いんだろうけど） #peg_study

ELD-R-ESH-2 @eldesh

空白の話は厳密性というかツールの特性って気がするけど #peg_study

Takuto Wada @t_wada

PEG で嬉しくないことは PEG の利点と表裏一体。 1.空白の読み飛ばしを明示する必要がある 2.規則の順序を変えると意味が変わってしまう #peg_study