与えられた文脈自由文法について:
S -> G $
G -> PG | P
P -> id : R
R -> id R | epsilon
LR(1) になるように文法を書き直すにはどうすればよいですか?
現在の文法では、入力 "id : .id" を解析するときにシフト/リデュースの競合があります。パーサーの入力ポインターです。
この文法は、正規表現 (id:(id)*)+ を満たす言語を生成します。
与えられた文脈自由文法について:
S -> G $
G -> PG | P
P -> id : R
R -> id R | epsilon
LR(1) になるように文法を書き直すにはどうすればよいですか?
現在の文法では、入力 "id : .id" を解析するときにシフト/リデュースの競合があります。パーサーの入力ポインターです。
この文法は、正規表現 (id:(id)*)+ を満たす言語を生成します。