2011-07-06 12 views
0

私はこれらの作品があります。チョムスキー標準形の正確

S->aSb 
S-> eps  (eps=empty string) 

を私は私の推論チョムスキー標準形

を適用する必要があります:

1)を考えると、EPSルール 排除:

S->aSb 
S-> eps 

入手方法:

S->ab 

S->aSb 

2)排除ユニットのルール

なし

3)削除無用のシンボルがあります

私が取得:

S->ab 

ので、与えられた文法をCNFを適用した後、 (チョムスキー標準形):

S->ab 

私は正しいですか?

+0

この宿題はありますか? –

+0

それは運動です... –

答えて

0

ここにあるものは全く同じではありません。空文字列はあなたの言語の一部ではなく、文字列aabb、aaabbbなどでもありません。

Chec無駄なルールを排除するステップ。その第二のルールは本当に役に立たないのですか?

また、イプシロン生産を排除できますか?

+0

正しいです..あなたは正しいです。CNFを適用することは、epsの制作物を取り除くことを意味します。しかし、ここで私は1つのepsのルールしか持っていません...私は混乱しています –

+0

ルールS-> Sがスタートシンボルなので除外できません。だから私がしたことはすべて間違っていました。 –

+0

@josè:実際には、すべてのepsプロダクションを削除する必要はありません。 CNFの文法にはルールS→\εを含めることができます。ここで、Sは初期端末であり、本番ルールの右側には出現してはいけません。 –

関連する問題