, (, , ), . , . , : , . - . .
:
1) , ;
2) ( /, ).
: A = {a0, a1,..., am} Q = {q0, q1,..., qp}. ( A Q.) q0 . , , . q1 . , .
. ( 0 , ).
, . , .
. , ai , qj :
- ;
- / ;
- .
. (qj, ai) , .
, .
(qj, ai) . : /, , . : ˔ (), ϔ () ͔ ().
qm ( qj). m - al ( al ).
|
|
, , - q 1. () , , , q 0. . , .
, , .
() , , . .
( ) (. ). 0, 1. , , , . , . (. . ). , . :
I K j,
i - , K , j - ().
:
1) V j - , j- .
2) X j - , j- .
3) <- j - , j- .
a. j - , j- .
4)? j1; j2 - , j1- , j2- .
5)! ().
. :
- ( );
- Stop;
- .