ytqwerty https://blog.hatena.ne.jp/ytqwerty/ Note https://ytqwerty.hatenadiary.org/ OCaml Parser エラーリカバリで無限ループしてました。 こんな感じの文法があったとして。 start := x e x ::= w x x ::= x y x ::= z 最初にwを与えるとこうなります。(startはスタック) x ::= w * x | * w x x ::= * x y x ::= * z そこへ、eが来ると、エラーリカバリによって現在の状態で待っている記号のいずれかが補われます。 wまたはyが選ばれてしまうと無限ループ。wが選ばれないための修正として、coreに含まれないルールはリカバリの対象から外しました。 yが選ばれないための修正として、左再帰はリカバリの対象から外しました。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fytqwerty.hatenadiary.org%2Fentry%2F20080510%2Fp3" title=" Castling修正 - Note" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-05-10 00:00:02 rich https://ytqwerty.hatenadiary.org/entry/20080510/p3 1.0 100%