8. NFAへの非決定性オートマトンDFAは決定します

DFAへのNFA決定

子集法:

サブセットF(Q、A)= {Q1、Q2、···、QN}、状態セット

状態Aとみなす{Q1、Q2、···、QN}、NFAは、入力シンボルを読み出した後に達成可能なすべての状態の集合を記録します。

ステップ:

1.変換行列構成DFA状態NFA

初期状態①DFA(NFAは、すべての初期状態を設定)、アルファベットの決定

②初期状態から、状態セットのアルファベットは、新しい状態として到着しました

③現在のDFA状態に新しい状態を追加します

新しいDFAの状態まで、ステップ23を繰り返します④

2. DFAを描きます

3.識別記号列一貫場合NFAとDFAを参照するには。

 

演習:

1.ソリューション多機能:メソッドのサブセット

あなたに配布1)。図1

    A B
A 0 01 0
B 01 01 02
C 02 01 03
D 03 01 0

2)。P64ページ演習3

 

 

 

 

2.空のアーク・ソリューション:すべての初期状態のε-閉鎖と新しい状態を求めて

あなたに配布1)。図2

 

 

    0 1 2
0 ε{A} = {ABC} ε{A} = {ABC} ε{B} = {BC} ε{C} = {C}
1 {紀元前}   ε{B} = {BC} ε{C} = {C}
2 {C}     ε{C} = {C}

2).P50 3.6図。

 

 

おすすめ

転載: www.cnblogs.com/linyanli/p/11757245.html