こんにちは、私は次のCFGを持っています
S -> aA | bC | CC
A -> B
B -> S | epsilon
C -> A | S
イプシロンを削除して、次の結果になりました。
S -> aA | bC | CC | a | b | C
A -> B
B -> S
C -> A | S
単位規則を削除しようとしているところで、すべての非端末が次のような同じ結果になりました。
S -> aA | bC | CC | a | b | C
A -> aA | bC | CC | a | b | C
B -> ...
C -> ...|...
私の質問は、私のイプシロンの除去は正しいですか? とにかくそれをすることはありますか？