これは私の文法をあいまいにしますか？

Question

okが内部のものが{}オプションです

<Exp> -> <Term> 
<EXp> -> <Term> {<AddOp> <Exp>} 
<Term> -> <Factor> {<MultOp> <Term>} 
<Factor> -> <id> | <no> | (<Exp>) 

私は、次の文法を持って言うことができます。だから私は技術的にexp-> termまたはterm-> Factorを持つことができます。今度は、次のような導出が可能です：10を言うことができます。exp-> term-> factor-> no-> 10 ..私はちょうどexpにnoを加えることができますか？

<Exp> -> <Term>|<no> 

これが文法をあいまいにしたり、その他の問題を引き起こしますか？ありがとう。

PsのAddopとMULTOPはあなたの最初の文法がすでに曖昧であるだけで+と*

Answer 1

です：<Exp>は、生産1を経由して、生産2.生産1は、文法には何も追加しません経由で、2つの異なる方法で<Term>を導出あなたはそれを削除するだけで、同じ言語の曖昧ではない文法を得ることができます。

しかし、<Exp>は<no>を2つの異なる方法で派生するため、プロダクション<Exp> -> <no>を追加すると、曖昧な文法が再度発生します。あなたがすでに示した最初のやり方、そして第2の方法は、新しいプロダクションの簡単なアプリケーションです。