正規文法正式な式典有限オートマトン

1. 定期的な文法への定期的な変換

非終端Z→Z生成規則Rを選択する任意の正規式R用

フォームAの1ルールは→ABは→AB、B]→[Bに変換しました

2.フォームA→| B規則は、→Aに変換され、A→B(A→| B)

3.フォームA→* bのルールは、→AAの、→Bに変換すること

   原則として→BAフォームA *→AA、→Bに変換すること

、はるかにターミネータまで最大であって、各ルールを変換規則を使用して続行します。

1(0 | 1)* 101

S-> A1

A-> B0

B-> C1

C-> 1(0 | 1)*

 - > 1 | C0 | C1

 

(| B)*(AA | BB)(| B)*

S - >(| B)S

S - >(AA | BB)(| B)*

S-> S(| B)

S - >(AA | BB)

S->を1aA

A-> A

S-> bBで

B-> B

S-> | P | SB | | AA |でBB

 

((0 | 1)* |(11))*

S - >((0 | 1)* |(11))S | E

S - >(0 | 1)* S | 11S | E

S - >(0 | 1)* S

S - >(0 | 1)S

S-> 0S | 1S

S-> 1A

A-> 1S

S-> 0S | 1S | 1A | E

 

(0 | 11 0)

 S-> 0

S-> 1A

A-> 1B

B-> 0

S-> 0 | 1A

 

 

2. オートマトンM =({Q0、Q1、 Q2、Q3}、{0,1}、F、Q0、{} Q3)

ただし、f:

(Q0,0)= Q1

(Q1,0)= Q2

(Q2,0)= Q3

(q0,1)= Q0

(Q1,1)= Q0

(Q2,1)= Q0

(Q3,0)= Q3

(Q3,1)= Q3

今、どのような言語を識別し、状態遷移行列と状態遷移図を描きます。

変換行列:

  0 1
Q0 Q1 Q0
Q1 Q2 Q0
Q2 Q3 Q0
Q3 Q3 Q3

状態遷移図:

 

 

 

言語の認識:(1 | 01 | 001)* 000(0 | 1)*


定期的な自動機械NFA式Rによって構成される3 

(A | B)* ABB

 

 

(a|b)*(aa|bb)(a|b)*

 

 

1(1010*|1(010)*1)*0

 

おすすめ

転載: www.cnblogs.com/zhff/p/11730018.html