" ". ̳ . , :
c q5
a, c a, c
q3 q4
q0
a, b
q2
. 2.
, q3, q4 q5 "", . , , . .
. q , q0 q.
. . . Qm - , Q\Qm - . Q0, Q1, Q2, , :
0. Q0 = { q0 }.
1. Q1 = S0 È { q | q Î d(q0, a), Î S }.
2. Qi = Si-1 È { q | q Î d(qj, a), qj Î Qi-1 Î S }.
.
m. Qm = Qm+1 = ..
, 0, 1 , Qi (Q0 Í Q1 Í Q2 Í .) - |Qm| <= |Q|.
Qm , Q\Qm .
. () d . .
. q , q F.
. . . Sm - , Q\Sm - . S0, S1, S2, , :
0. S0 = { q | q Î F }.
1. S1 = S0 È { q | d(q, a) S0 Æ, Î S }.
2. Si = Si-1 È { q | d(q, a) Si-1 Æ, Î S }.
.
. Sm = Sm+1 = ..
, 0, 1 , Si (S0 Í S1 Í S2 Í .) - |Sm| <= |Q|.
Sm , Q\Sm . () d .
. 2 - {q5}, - {q3, q4}. , :
|
|
a, b
q0 q2
. 3.
, , . :
a, c
c
b
q1 q2
c a, c
q0 a
q3 q4
. 4.
, :
a, b c a, c
q0 q1 q2
. 5.
q1, q3. q2, q4.
. q1 q2 , , , q1 q2, .
q1 q2 , Î S*. , q1 q2, (q1,x) |=* (q3, e) (q2,x) |=* (q4, e), q3 q4 . q1 q2 k , (|x| <=k), q1 q2. q1 q2 ,
- .
: q1 q2 n , (n-2)-.
: ᒺ : F Q\F. º0:
q1 º0 q2 , F Q\F.
º :
q1 º q2 , q1 º-1 q2 d(q1, ) º-1 d(q2, ) Î S.
, (n-1) . , (n-2) º0.
³ ºn-2 .
. .
1. .
2. .
3. () .
, , ( ) .
: :
- - Æ;
- , e- {e};
- {a}, a Î S.
: :
1. ( ) Æ;
2. =<{q0}, S, q0, d, {q0}>, d Î S.
L(M) = {e}.
3. =<{q0, q1}, S, q0, d, {q1}>, d (q0, a), : d(q0, a) = q1.
L(M) = {a}.
: 1 = <Q1, S, q01, d1, F1> 2 = <Q2, S, q02, d2, F2>, L(M1) L(M2), :
- L(M1) È L(M2);
- L(M1) * L(M2);
- {L(M1)} = {e} È L(M1) È L(M1)* L(M1) È .,
:
L(M1) È L(M2) = { w | w Î L(M1) w Î L(M2) },
|
|
L(M1) * L(M2) = {w=xy | x Î L(M1), y Î L(M2) }.
:
1. = <Q, S, q0, d, F>, L(M) = L(M1) È L(M2).
- Q = Q1 È Q2 È {q0}, q0 (q0 Ï Q1 È Q2);
- d :
d(q,a) = d1(q,a), q Î Q1, Î S;
d(q,a) = d2(q,a), q Î Q2, Î S;
d(q0,a) = d1(q01,a) È d2(q02,a), q01 Î Q1, q02 Î Q2, Î S;
-
. i >=1 , (q0,w) |=i (q,e) , (q01,w) |=i (q,e), q Î F1 (q02,w) |=i (q,e), q Î F2.
2. = <Q, S, q0, d, F>, L(M) = L(M1) * L(M2):
- Q = Q1 È Q2;
- q0 =q01;
- d :
d(q,a) = d1(q,a), q Î Q1\F1, Î S;
d(q,a) = d2(q,a), q Î Q2, Î S;
d(q,a) = d1(q,a) È d2(q02,a), q Î F1, q02 Î Q2, Î S;
-
3. = <Q, S, q0, d, F>, L(M) = {L(M1)}:
- Q = Q1 È {q0}, q0 (q0 Ï Q1);
- d :
d(q,a) = d1(q,a), q Î Q1\F1, Î S;
d(q0,a) = d1(q01,a), q01 Î Q1, Î S;
d(q,a) = d1(q,a) È d1(q01,a), q Î F1, Î S;
- F = F1 È {q0}.