ε端末は文脈自由ですか？

Question

R: S ---> aSb 
    S ---> SS 
    S ---> ε 

これらの式の文法はどのように書くべきですか？

このように書くのは本当ですか？

G = ({S}, {a, b}, {S ---> aSb, S ---> SS, S ---> ε}, {S}) 

又はこのような（端末へのイプシロンを添加）：正しいものである

G = ({S}, {a, b, ε}, {S ---> aSb, S ---> SS, S ---> ε}, {S}) 

？

Answer 1

εは、長さゼロのシーケンスを表示させる方法です。これは文法記号ではありません。

実際の生産は次のとおりです。あるS →   —、Sは何も—を作ることはできませんが、何の不可視性は、それが難しい読み取ることができます。だから私たちは通常、読みやすくなるεを書いています。あなたはそれを何ものでも読まなくてはなりません。