S -> AB
A -> aAA | ε
A -> bBB | ε
したがって、上記の例では、物事はかなり簡単です.null可能なシンボルを見つけ、εを削除し、空の文字列なしで仕事を成し遂げることができる新しいプロダクションを構築すると、これが得られます..
S -> AB | A | B
S -> aAA | aA | aA | a
S -> bBB | bB | bB | b
そして、私はこの例に出くわしました
S -> ABaC
A -> B
B -> b | ε
C -> c | ε
A は B を生成し、B は明らかに空の文字列を生成できます。Aがnullableであることを意味するのはSであり、null可能な端末を直接生成しない場合、端末を無効にすることは可能ですか?