.
1 , ()
2 . [1]. , , , . q. S, (L,N,R). , .
. , . , . q0 MT , , . . :
1
2 .
3 .
4 .
, . . .
={a,b,c}:
a b c _
0,R,,R,,R, _,L,!
, 1.
1. .
, [2]. _, , !. , , . , , .
. (), (!), . , . , .
. , , ={0,1,_}, 0 1 , _ . , . , , . , . :
|
|
1
2 , .
3 .
4
4.1 0, 1 5;
4. 2 1, 0 ;
4.3 , 1 5;
5 .
1 . q1 , , 1. , .
2. .
000 :
1 000 0,R,0
2 000 0,R,0
3 000 0,R,0
4 000 _,L,1
5 000 1,N,!
6 001
7
().
. .
() . .
A={|,0,1,=}. | , 0 , 1 () , = .
= . q0 = . 1.
1 .
= q1 . q0 q1. 2. , 2 . 1,
2, |= . 2=2(1()) |=, 1. 2. . | 1, . (=) | . q2 q3. q2 | 1 q3, q3 | q2. = . q2, | , q3 . 3 , 2. | , . 3 , . 3. 2. . 1 =. 2 . 3=3(2(1())) =, . | , =. =. q4 q5. q4 0, q5 1. q4 q5 . 4 4- 4=4(3(2(1()))). 4. . , , .. 4 [1]. . q6 q7. q6 , q7 , ( 0). 5. 5. q6 , , |. q1, q3 q4 . q6 | , , 0 q7 q6. , q1 1, . 5 , 6. 6. | . 6 5=5(4(3(2(1())))). 7 . 7
|
|
.
3.1 , [1] . .
3.2 , .
3.4 , 1.
3.5 1.(i+2) [1], i . .
3.6 [3].
1 . . , . , .. , .. . . . ( ) . 2006 (http://cmcmsu.no-ip.info/1course/ )
2 . ( http://cmcmsu.no-ip.info/1course/alg.schema.mt.htm#)
3 Algo2000 http://upwap.ru/1184961.