1. DFAの最小化:教科書P65質問9
DFAの簡素化、次のように:
私 |
{1,2,3,4,5} |
{6,7} |
|
{3,4} B - > {6,7} {1,2} B - > {2} {5} B-> {1,2,3,4,5}区別できるが、分割さ |
{6} B - > {6}、{7} B - > {6} 同等の区別がつきません、 |
II |
{1,2} {3,4} {5} |
{6,7} |
|
{3} C - > {3}、{4} C - > {3} {3}、D = {5}、{4} D - > {5} {3,4}区別でき、等価 |
|
III |
{1,2} {3,4} {5} |
{6,7} |
|
{1} = {3,4}、{2} = {3,4} {1,2}区別でき、等価 |
状態遷移図次のように
認識言語:B * AC *(DA)* BB *
2. DFA対応する文法の最小構成
S→0A | 1B
A→1S | 1
B→0S | 0
A:通常の式で使用できます:
S-> 0A | 図1(b)
- > 0(1S | 1)| 1(0S | 0)
- > 01S | 01 | 10S | 10
- >(01 | 10)S | (01 | 10)
- >(01 | 10)*(01 | 10)
次のようにNFAは、正規式によって得ることができます。
NFAは、以下のように求めることができるDFA状態行列により変換されます。
|
0 |
1 |
|
A |
限界{} |
{です} |
{CF} |
B |
{です} |
|
{} ADY |
C |
{CF} |
{} ADY |
|
D |
{} ADY |
{です} |
{CF} |
DFAの状態遷移図次のように
次のようにDFAを最小化:
私 |
{A、B、C} |
{D} |
|
{A} 0 - > {B} {B} 0-> {C} 0 - > {D} {A、B、C}区別可能な、分割さ |
区別できません |
II |
{A}、{B}、{C} |
{D} |
|
区別できません |
状態遷移図次のように
3.バックトラックが発生した理由を、解析するトップダウン?
文AAAB 、次のようにトップダウンの解析プロセスのは、次のとおりです。
S => AB
=> AAB
=> AAAB
=> AaaAB
=>aaaεB
=> AAAB
その理由は、公共の要因を残している文法生成された生産をバックトラックされます。
抽出4.P100演習4は、繰り返し共通因子を残しました。
S→C $
C→BA |αBは
→|のaC | BAA
B→b|bC|aBB
S->C$
C->bA|aB
A->aD|bAA
B->bE|aBB
D->ε|C
E->ε|C