You are on page 1of 3

1. q 1 0 → q1 0 R 27.q 6 c → q13 cR 53.

q 11 λ → q12 λL
2. q 1 1 →q 1 1 R 28.q 6 x →q 6 xL 54.q 12 0 → q12 λL
3. q 1 с → q2 cR 29.q 6 y → q6 yL 55.q 12 1→ q 12 λL
4. q 1 λ → q13 λ L 30.q 7 0 → q 7 0 L 56.q 12 λ → q z 1 E
5. q 2 0 → q2 0 R 31.q 7 1 → q7 1 L 57.q 13 0 → q13 0 R
6. q 2 1 →q 2 1 R 32.q 7 с → q7 cL 58.q 13 1 →q 13 1 R
7. q 2 c → q9 c L 33.q 7 x →q 3 λR 59.q 13 c →q 13 cR
8. q 2 λ → q 14 λL 34.q 7 y → q13 λR 60.q 13 x → q 13 xR
9. q 3 0 → q 4 yR 35.q 8 0 → q 8 0 L 61.q 13 y →q 13 yR
10.q 3 1 → q4 xR 36.q 8 1 → q8 1 L 62.q 13 λ → q14 λL
11.q 3 c → q15 cR 37.q 8 c → q8 cL 63.q 14 0 → q14 λR
12.q 3 x →q 3 xR 38.q 8 x →q 13 λR 64.q 14 1 → q14 λR
13.q 3 y → q3 yR 39.q 8 y → q3 λR 65.q 14 c → q14 λR
14.q 4 0 →q 4 0 R 40.q 9 0 → q 9 0 L 66.q 14 x →q 14 λR
15.q 4 1→ q 4 1 R 41.q 9 1 → q9 1 L 67.q 14 y → q14 λR
16.q 4 с → q 5 cR 42.q 9 c → q9 cL 68.q 14 λ → q z 0 E
17.q 4 x → q 4 xR 43.q 9 x →q 9 xL 69.q 15 0 → q13 0 R
18.q 4 y → q 4 yR 44.q 9 y → q9 yL 70.q 15 1 →q 13 1 R
19.q 5 0 → q5 0 R 45.q 9 λ→ q 3 λR 71.q 15 c →q 16 cL
20.q 5 1 → q5 1 R 46.q 10 c →q 11 λR 72.q 15 x → q 15 xR
21.q 5 c → q6 cL 47.q 10 x → q 10 λL 73.q 15 y →q 15 yR
22.q 5 x →q 5 xR 48.q 10 y →q 10 λL 74.q 15 λ → q16 λL
23.q 5 y → q5 yR 49.q 10 λ → q10 λR 75.q 16 c → q10 cL
24.q 5 λ → q 6 λL 50.q 11 c → q 9 cL 76.q 16 x → q 16 xL
25.q 6 0 → q 8 yL 51.q 11 x → q11 1 R 77.q 16 y → q16 yL
26.q 6 1 → q7 xL 52.q 11 y → q 11 0 R
1. q 1 ( λ , λ)→ ( q z ;0 , λ ; E , E ) 26.q 5 (0 , 0)→ ( q5 ; λ , λ ; R , R )
2. q 1 (1, λ) → ( q3 ; λ , 1; R , R ) 27.q 5 (1 ,0)→ ( q6 ; λ , λ ; R , R )
3. q 1 (0 , λ)→ ( q 3 ; λ , 0 ; R , R ) 28.q 5 (0 , 1)→ ( q6 ; λ , λ ; R , R )
4. q 1 (c , λ)→ ( q2 ; λ , λ ; R , E ) 29.q 5 (с ,1)→ ( q 6 ; λ , λ ; R , R )
5. q 2 (c , λ)→ ( q2 ; λ , c ; R , E ) 30.q 5 (с ,0)→ ( q6 ; λ , λ ; R , R )
6. q 2 ( λ , c)→ ( q z ;1 , λ ; E , E ) 31.q 5 (1 , λ)→ ( q6 ; λ , λ ; R , E )
7. q 2 (1, λ)→ ( q6 ; λ , λ ; R , E ) 32.q 5 (0 , λ)→ ( q 6 ; λ , λ ;R , E )
8. q 2 (0 , λ)→ ( q 6 ; λ , λ ; R , E ) 33.q 5 (с , λ)→ ( q6 ; λ , λ ; R , E )
9. q 2 (0 , c)→ ( q6 ; λ , λ ; R , E ) 34.q 5 (λ , λ)→ ( q z ; 1 , λ ; E , E )
10.q 2 (с ,c )→ ( q 6 ; λ , λ ; R , E ) 35.q 5 (λ , 1)→ ( q6 ; λ , λ ; E , R )
11.q 2 (1, c )→ ( q 6 ; λ , λ ; R , E ) 36.q 5 (λ , 0)→ ( q 6 ; λ , λ ;E , R )
12.q 3 (1 , λ)→ ( q3 ; λ , 1; R , R ) 37.q 6 (λ , λ) → ( q7 ; λ , λ ; E , L )
13.q 3 (0 , λ)→ ( q 3 ; λ ,0 ; R , R ) 38.q 6 (1 , λ)→ ( q6 ; λ , λ ; R , E )
14.q 3 (с , λ)→ ( q 4 ; λ , λ ; R , L ) 39.q 6 (0 , λ)→ ( q 6 ; λ , λ ;R , E )
15.q 3 ( λ , λ)→ ( q 6 ; λ , λ ; E , L ) 40.q 6 (c , λ)→ ( q6 ; λ , λ ; R , E )
16.q 4 (0 , 0)→ ( q4 ; λ , 0 ; R , L ) 41.q 6 (λ , 1)→ ( q6 ; λ , 1 ; E , R )
17.q 4 (1 , 1)→ ( q4 ; λ ,1 ; R , L ) 42.q 6 (λ , 0)→ ( q 6 ; λ , 0; E , R )
18.q 4 (1 , 0)→ ( q 6 ; λ ,0 ; R , R ) 43.q 6 (1 ,0)→ ( q6 ; λ , 0 ; R , R )
19.q 4 (0 , 1)→ ( q 6 ; λ ,1 ; R , R ) 44.q 6 (0 , 1)→ ( q6 ; λ , 1; R , R )
20.q 4 ( с , 0)→ ( q 6 ; λ ,0 ; R , R ) 45.q 6 (c , 0)→ ( q6 ; λ , 0 ; R , R )
21.q 4 ( с , 1)→ ( q6 ; λ , 1; R , R ) 46.q 6 (c ,1)→ ( q 6 ; λ ,1 ; R , R )
22.q 4 (1 , λ)→ ( q 6 ; λ , λ ; R , E ) 47.q 7 (λ , 0)→ ( q 6 ; λ , λ ; E , L )
23.q 4 (0 , λ)→ ( q6 ; λ , λ ; R , E ) 48.q 7 (λ , 1)→ ( q6 ; λ , λ ; E , L )
24.q 4 ( с , λ)→ ( q 5 ; λ , λ ; R , R ) 49.q 7 (λ , λ) → ( q z ; 0 , λ ; E , E )
25.q 5 (1 ,1)→ ( q 5 ; λ , λ ; R , R )

You might also like