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