1

タイプ 3 グラマーはこれらの両方のプロダクションを持つことはできないというメモを読みました

A-> aB
A-> Ba

ここで、A、B は非終端記号であり、a は終端記号です

タイプ 3 については十分に知っていますが、上記が理解できません。

4

1 に答える 1

1

これらの生成の両方が発生することを許可すると、タイプ 3 の意味が変わります。次のような文法を書くことができます。

A -> '(' B
B -> A ')'
A -> '1'

A を非終端記号の開始と仮定すると、あなたの言語はすべての単語を提供します。

((...((1))...))

両側の括弧の数は同じです。ただし、これはタイプ 3 言語ではありません (非公式には、正しいパーサーはカウントする必要があるため、有限状態にすることはできません)。

于 2012-01-22T21:19:09.687 に答える