() , . , , , , .. , , . ( ), . , (), . - , .
. . , , , , , ( ) . . .
.
(, ), = {0, 1..., }. . , , . , 0. , .
, , Q = {q0, q1,.., qm}. q1 ( ) q0. q1, . q0, .
( ). . T(i,j) (i= 1, 2,..., m; j = 0, 1,..., n) :
qi aj → qk al ;
qi aj → qk al ; (1)
qiaj → qk al
0 < k < m; 0 < l < .
.
? - (.. , q0) , qi aj, . T(i,j): qi aj → qk al X, X ∈ {, , }. , :
|
|
1) aj l, ( aj);
2) qk ( qi);
3) , , =, , = , , = .
( qk ≠ q0) , T(k, l): qk al → qr as X ..
, , qi , qi aj, (i = 1, 2,..., ; j = 0, 1,..., n) , qiaj. = {0, 1,..., }
Q = {q0, q1,.., qm} ( + 1) .
Q, AQ . k- , k- ( , k- ), , . , .. , , , , , . , , , .
- , , ( ) , . , .
, α \{a0} = {1,...,an} , , , , α.
(), , , q1 ( q0). , , α β, α, , β, .