parsing - LR 解析でリダクションと GOTO を 1 つの状態にすることはできますか?

Question

以下の例では、 を介して状態0から状態に移行したい場合、1 つの状態で縮小状態と通常状態に直面することは明らかです。 正直なところ、私は前にそれを見ませんでした。それが私が尋ねている理由です。3T

これは可能ですか？普通に減量を続けますか？または私は間違っていますか？

必要な場合の文法は次のとおりです。

E ---> E+T | T
T ---> T*F | フフ ---> ( E
) | ID

Answer 1

先読み情報がない場合、これはシフト/リデュースの競合です。これは、パーサーがシフト (GOTO 情報に従う) かリデュースするかを判断できないためです。したがって、この文法は LR(0) にはなりません。リダクションをいつ実行するかについて追加のコンテキストがある場合 (おそらく SLR(1)、LALR(1)、または LR(1) パーサーを使用している場合)、シフトとリデュースの両方をシフトとリデュースが同じ終端記号にない限り、状態。

お役に立てれば！