Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1. AUTOMATE FINITE
1) S se reprezinte automatul finit n form tabelar i grafic.
2) Pentru cinci cuvinte ( 3 corecte i 2 incorecte) s se demonstreze printr-un calcul de
configuraii acceptarea sau neacceptarea cuvintelor.
1. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={0,1}, F={q3}, (q0,1)={q0} (q3,1)={q3},
(q1,1)={q0, q3}, (q3,0)={q3}, (q0,0)={q1}, (q2,0)={q3}, (q1,0)={q2}, (q2,1)={q0}
q0
q1
q0
q1
q2
q0, q3
q2
q3
q0
q3
q3
q3
100001
(q0 , 100001) ( q0 , 0001) ( q1 , 001) ( q2 , 01) ( q3 , 1) ( q3 , ) - acceptat
010110
(q0 , 010110) ( q1 , 10110) ( q0 , 0110) ( q1 , 110) ( q0 , 10) ( q0 , 0)
( q3 , 10)
( q1 , ) - err q1 F
( q3 , 0) ( q3 , ) - acceptat
( q3 , 0110) ( q3 , 110) ( q3 , 10) ( q3 , 0) ( q3 ,
) - acceptat
00110
(q0 , 00110) ( q1 , 0110) ( q2 , 110) ( q0 , 10) ( q0 , 0) ( q1 , ) - err q1
F
111111
(q0 , 111111) ( q0 , 11111) ( q0 , 1111) ( q0 , 111) ( q0 , 11) ( q0 , 1)
( q0 , ) - err q0 F
110101
(q0 , 110101) ( q0 , 10101) ( q0 , 0101) ( q1 , 101) ( q0 , 01) ( q1 , 1)
( q0 , ) - err q0 F
( q3 , ) - acceptat
( q3 , 01) ( q3 , 1) ( q3 , ) acceptat
1)
2)
3)
4)
'([q0q1],7)=[ q0q1]
'([q0q1],8)=[ q1q2]
'([q1q2],7)=[ q1]
'([q1q2],8)=[ q1q2]
'([q1q2],9)=[ q3]
F={ [q3]}
3)
4) 7789
5) P1P | aP | 0.
9. G=({I, J, K, M, N}, {0, 1, ~, !}, P, I), unde P:
1) I0J | 1K | 0M; 2) J~K | 0M; 3) K~M | 0J | 0N; 4) M1K | !;
5) N0I | 1I | !.
10. G=({S, A, B, C, D, E}, {a, b, c, d, e, $, }, P, S), unde P:
1) SaA | bB | cC; 2) AdD; 3) B#D | $E; 4) DdD | dB | ; 5) CcE;
6) EeE | eB | .
11. G=({X, Y, Z, V}, {(, ), y, z, v}, P, X), unde P:
1) X(Y | y; 2) YyY | zY | zZ; 3) ZzZ | vZ | vV; 4) VvV | ).
12. G=({A, B, C}, {a, b}, P, A), unde P:
1) AbC | aC; 2) CbB | 0A | 1; 3) BaC | bA | a.
13. G=({S, A, B, C}, {1, 2, 3}, P, S), unde P:
1) S2A | 1B | 1C; 2) A3A | 1B | 3; 3) B3A |2C | 3; 4) C2B | 3C |1.
14. G=({A, L, G, N}, {a, b, +, -, } P, A), unde P:
1) AaL | bN; 2) L-N | -G; 3) G+N; 4) NaL | bG | b.
15. G=({X, Y, Z, W, V}, {0, 1, a,b,c}, P, X), unde P:
1) X0Y | 1Z | a; 2) Y0Z | cW | b; 3) Z1Y | 1W | 0V;
4) W0W | 1W | a; 5) VbZ.
16. G=({K, L, M, N, Q, P, R, S}, {0, 1, 2}, V, K), unde V:
1) K1L | 0N; 2) L0M | 0P | 1Q; 3) N1R | 1M | 2S;
4) Q1P;5) P2L | 2; 6) M1; 7) S0R; 8) R2N | 0.
17. G=({E, A, B, C, D}, {0, 1, 2,a, b, c}, P, E), unde P:
1) E0A | 2; 2) AaB | aD; 3) BbB | 1C | c; 4) DaD | 0C | 2.
18. G=({F, A, B, C, D}, {0, 1, 2, 3, 4}, P, F), unde P:
1) F0A | 2; 2) A4B | 3D; 3) B1B | 0C | 0; 4) D4D | 3C | 2.
19. G=({S, A, B, C, D}, {a, b, c, d, e}, P, S), unde P:
1) ScA | bB; 2) AcC | e; 3) CcC | cA; 4) BdD | e; 5) DdD |aB.
20. G=({K, L, M, N, P}, {0, 1, a, b}, C, K), unde C:
1) K1M | 0; 2) M0L | 1N | aP; 3) L1L | 0L | bP;
4) NaN | bN | 0P; 5) P1P | aP | 0.
21. G=({F, J, K, M, N}, {0, 1, e,t}, P, F), unde P:
1) F0J | 1K | 0M; 2) JtK | 0M; 3) KeM | 0J | 0N; 4) M1K | t;
5) N0I | 1F | e.
22. G=({S, A, B, C, D, E}, {a, b, c, d, e}, P, M), unde P:
1) MaA | bB | cC; 2) AdD; 3) BaD | bE; 4) DdD | dB | e; 5) CcE;
6) EeE | eB | b.
23. G=({X, Y, Z, V}, {a, b, y, z, v}, P, X), unde P:
1) XaY | b; 2) YyY | zY | zZ; 3) ZzZ | vZ | vV;
24. G=({S, A, B, C, D}, {a, b, c, d, e}, P, S), unde P:
4) VbV | y.
5. LEMA DE POMPARE
S se construiasc reprezentarea uvw pentru trei cuvinte recunoscute de automatul finit aplicnd
lema de pompare.
1. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={a,b,c}, F={q3}, (q0,a)={q1}, (q0,b)={q1},
(q1,b)={q0}, (q1,a)={q2}, (q2,a)={ q0,q1}, (q2,c)={q3}, (q3,a)={ q2}
2. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={a,b,c}, F={q3}, (q0,a)={q1},(q2,b)={ q0,q2},
(q3,c)={q3}, (q1,b)={q2}, (q2,c)={q3}
3. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={a,b}, F={q3}, (q0,a)={q1}, (q0,b)={q2}, (q1,a)={
q3}, (q2,b)={ q2,q3}
4. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={a,b}, F={q3}, (q0,a)={q0,q1}, (q0,b)={q0,q2},
(q1,a)={q3}, (q2,b)={ q1, q3}
5. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={7,8,9}, F={q3}, (q0,7)={q0,q1}, (q1,8)={q1,q2},
(q1,7)={q1}, (q2,9)={q3}, (q3,9)={q3}
6. AF=(Q,,,q0,F), Q={q0,q1,q2}, ={1,2}, F={q2}, (q0,1)={q0,q1}, (q0,2)={q0},
(q1,2)={q2}, (q2,2)={q2, q1}
7. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={0,1}, F={q3}, (q0,1)={q0} (q3,1)={q3},
(q1,1)={q0, q3}, (q3,0)={q3}, (q0,0)={q1}, (q2,0)={q3}, (q1,0)={q2}, (q2,1)={q0}
8. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={1,2,3}, F={q3}, (q0,1)={q1}, (q0,2)={q1, q0},
(q1,2)={q0}, (q1,1)={q2}, (q2,1)={q1}, (q2,3)={q3}, (q3,1)={q1, q2}, (q3,2)={q2}
9. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={1,8,4}, F={q3}, (q0,1)={q1}, (q1,8)={q1,q2},
(q1,1)={q1}, (q2,4)={q3}, (q3,4)={ q1,q3}
10. AF=(Q,,,q0,F), Q={q0,q1,q2}, ={1,2,3}, F={q2}, (q0,1)={q0,q2}, (q0,2)={q0, q1},
(q1,2)={q2}, (q2,3)={q2, q1}
11. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={0,1,2}, F={q3}, (q0,1)={q0, q1}, (q3,2)={q3},
(q1,1)={q0, q3}, (q3,1)={q3}, (q2,0)={q3}, (q1,0)={q2}, (q2,2)={q0, q3}
12. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={a,b}, F={q3}, (q0,a)={q1}, (q0,b)={q1},
(q1,a)={q0, q1}, (q1,b)={q2}, (q2,b)={q1}, (q2,a)={q3, q0}, (q3,b)={q2}
13. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={9,1,3}, F={q3}, (q0,3)={q1}, (q0,9)={q1, q0},
(q1,3)={q0}, (q1,1)={q2}, (q2,9)={q1}, (q2,3)={q3}, (q3,9)={q1}
14. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={b,c}, F={q3}, (q0,b)={q1}, (q1,b)={q0},
(q1,c)={q2}, (q2,c)={q3, q0, q1}, (q3,b)={q1}
15. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={0,1,2,3}, F={q3}, (q0,1)={q1}, (q0,2)={q1, q0},
(q1,2)={q1}, (q1,0)={q2}, (q2,1)={q1}, (q2,3)={q3}, (q3,1)={q1, q2}, (q3,0)={q2}
16. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={a,b,c,d}, F={q3}, (q0,a)={q1},(q2,b)={q2},
(q3,c)={ q0,q3}, (q1,d)={q3,q2}, (q2,c)={q1,q3}
17. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={a,b,c}, F={q3}, (q0,a)={q0,q1}, (q0,c)={q0,q2},
(q1,a)={ q1, q3}, (q2,b)={q3}
18. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={1,2,9}, F={q3}, (q0,1)={q0,q1}, (q1,2)={q1,q2,q3},
(q1,1)={q1, q3}, (q2,2)={q3}, (q3,9)={ q1,q3}
19. AF=(Q,,,q0,F), Q={q0,q1,q2,q3}, ={a,b,c,d}, F={q3}, (q0,d)={q1, q2}, (q2,b)={q0,q2},
(q3,c)={q3}, (q1,b)={ q0,q1,q3}, (q2,c)={q2}, (q1,a)={q2}, (q3,b)={q1}
6. EXPRESII REGULATE
I.
S se scrie expresia regulat a cuvintelor generate de gramatica dat:
1. G=({M, A, B, D, E}, {a, b, c, d, e}, P, M), unde P:
1) MaA | bB; 2) AdD; 3) BaD | bE; 4) DdD | e; 5) EeE | eB | b.
2. G=({X, Y, Z, V}, {a, b, y, z, v}, P, X), unde P:
1) XaY | b; 2) YyY | zY | zZ; 3) ZzZ | vZ | vV; 4) VbV | y.
3. G=({S, C, D}, {0, 1}, P, S), unde P:
1) S1C | 0D; 2) C0D | 0S | 1; 3) D 0.
4. G=({S, A, B, C}, {a, b, c}, P, S), unde P:
1) SaA | bB | aC; 2) AbA | c; 3) Bb; 4) CbC |a.
5. G=({K, L, M, N}, {a, b, +, -, }, P, K), unde P:
1) KaL | bM; 2) L-N; 3) M+N; 4) NbM | .
6.
10.
11.
12.
16.
17.
18.
19.
20.
21.
22.
23.
24.
8. ELIMINAREA PRODUCIILOR
1) S se elimine produciile.
2) Din gramatica fr producii s se genereze dou cuvinte i s se construiasc
arborele de derivare.
9.
ELIMINAREA REDENUMIRILOR
1) S se elimine redenumirile.
2) Din gramatica fr redenumiri s se genereze dou cuvinte i s se construiasc
arborele de derivare.
1. G=({A, B, C, G, H}, {+, -, *, /, n, m, h}, P, E), unde P:
1) AB | A+B | A-B | m; 2) BC |C*B | C/B | n ; 3) CG | Fn | ; 4) GGm|H;
5) HHh |A+G| h.
2. G=({R, T, F, G, K}, {m, i, j, k, ^, ~, }, P, R), unde P:
1) RR~T | RT | m; 2) TFT | Fi | Fj | Gk | K; 3) GKkG| m; 4) KKi | i.
3. G=({S, X, Y, Z, K}, {x, y, z, k,}, P, S), unde P:
1) SX | Y | Z; 2) XxzX | xkY | x; 3) YYyk |Yzk | z | k; 4) ZKzy;5)
KKkp | k .
4.
1)
5.
10.
11.
12.
13.
14.
22.
23.
24.