Xc nh loi ca vn phm v ngn ng theo phn loi Chomsky; Ch ra ra cc ngn ng sinh bi vn phm; Xc nh vn phm sinh ra mt ngn ng cho trc n gin; Bi 3: Bin i t NFA v DFA Bin i t NFAe v NFA v DFA Bin i t RE v FA Bin i t DFA v RE Bi 4: Bin i t automata v vn phm tuyn tnh phi Bin i t automata v vn phm tuyn tnh tri Bin i t vn phm tuyn tnh tri v automata Bin i t vn phm tuyn tnh phi v automata ng dng b bm chng t mt ngn ng c phi l chnh quy hay khng Bi 5: Vn phm phi ng cnh, Rt gn vn phm Loi b cc k hiu tha Loi b cc lut sinh Loi b cc lut sinh n v Chun ha cc vn phm phi ng cnh a v dng chun Chomsky a v dng chun Greibach Bi 6: Bin i tng ng t dng 2 sang dng 1 Bin i tng ng t dng 1 sang dng 2 Bin i tng ng t CFG sang PDA Bin i tng ng t PDA sang CFG
VN PHM V NGN NG HNH THC 1: Trong cc bi tp sau, sinh vin cn: Ch ra ra cc ngn ng sinh bi vn phm tng ng; Xc nh loi ca vn phm v ngn ng theo phn loi Chomsky;
Bi I.1. S aaCFD; AD D; F AFB | AB; Cb bC; AB bBA; CB C; Ab bA; bCD . Bi I.2. S aSBC | abc; bC bc; CB BC; cC cc; BB bb. Bi I.3. S aQb | accb; Q cSc. Bi I.4. S Ac | Bc; A a | Ba; B b | Bb | Ab. Bi I.5. SAb; AaA; A. Bi I.6. SABC; AaA; BbB; CcC, Aa; Bb; Cc Bi I.7. S aSBC S aBC CB BC aB ab bB bb bC bc cC cc Bi I.8. S aB A bAA S bA B b A a B bS A aS B aB Bi I.9. S 0A B 1B S 1B B 1 A 0A B 0 A 0k S 0 A 1B
2: Trong cc bi tp sau, sinh vin cn: Xy dng automata bng th chuyn hoc bng chuyn n nhn ngn ng . Ch ra vn phm sinh ra cc ngn ng tng ng; Bi I.10. ( ) { | , , 0} n m k L G a b c n m k = >
Bi I.11. ( ) {( ) ( ) | , 0} n m L G ab cb n m = >
Bi I.12. ( ) {(0) (10) | , 0} n m L G n m = >
Bi I.13. ( ) { | {a,b} } L G c c e e e e + = e
Bi I.14. 2 ( ) { | 0} n n L G c d n = >
Bi I.15. ( ) { | {a,b} } L G e e e e + = + e
Bi I.16. 1 1 ( ) {(10) (01) | 0} n n L G n + = >
Bi I.17. ( ) { | {0,1} } R L G ee e + = e
Bi I.18. Biu din cc ch s nguyn dng (1, 3, 4) Bi I.19. Biu din cc ch s nguyn (-34, +34, 34) Bi I.20. Biu din cc s thc (di dng khoa hc 12.5, +12.5, -12.5, 12E3, +12E3, - 12E3, 12E-3, +12E+3, -12E+3, +12E3, -12E3, 12E-312.5, +12.5, -12.5,... hoc dng thng 012, 0012, +012, -012, 012.5,...) Bi I.21. Biu din thi hi gian trong ngy (21:30:58), Bi I.22. Biu din ca cc ngy trong nm (10/05/2010)
3: Trong cc bi tp sau, sinh vin cn: Xy dng DFA bng th chuyn hoc bng chuyn n nhn ngn ng tng ng. Bi I.23. { } * ( ) { , } , ( ) mod2 0, ( ) mod2 1 a b L G w a b n w n w = e = = (chn ln s ch ci a v l ln s ch ci b) Bi I.24. L(G) = {w{a, b}*, sao cho khng qu 2 ch ci (a) ng lin nhau} Bi I.25. Tt c tn c t ng trong ngn ng C, C++ Pascal, (bao gm cc ch ci in thng in hoa, cc ch s, ch bt u bng ch ci hoc du gch di) Bi I.26. L(G) = {w{a, b}*, sao cho ch c duy nht mt ch ci a} Bi I.27. L(G) = {w{a, b}*, sao cho c t nht mt ch ci a} Bi I.28. L(G) = {w{a, b}*, sao cho ch c khng qu 3 ch ci a} Bi I.29. L(G) = {w{a, b}*, sao cho trong mi t tn ti chui con dng a n , n>3} Bi I.30. L(G) = {w{a, b}*, sao cho trong mi t tn ti chui con dng a n , n<3} Bi I.31. L(G) = {w{a, b}*, sao cho trong mi t tn ti khng qu 2 chui con dng a 3 } Bi I.32. L(G) = {w{a, b}*, sao cho ch ci u v cui ca mi t l khc nhau} Bi I.33. L(G) = {w{a, b}*, sao cho trong mi 4 k t lin tip bt k c khng qu 2 ch ci a} Bi I.34. L(G) = {w{a, b}*, |w|>3, sao cho ch ci th 3 khc ch ci cui cng} Bi I.35. Biu din dng nh phn ca cc s chia ht cho 5 (v d 0101, 01111) Bi I.36. { } * ( ) { , } , 2 L G vwv a b v = e = Bi I.37. { } * ( ) { , } , 2 R L G vwv a b v = e = Bi I.38. { } ( ) , ( ) mod3 0 m n L G w a b m n = = + = Bi I.39. { } * ( ) { , } , ( ) mod2 0, ( ) mod2 1 a b L G w a b n w n w = e = =
Mt s bi tp khc: Bi I.40. Chng minh rng nu A l tp c n phn t, th tp 2 A c 2 n phn t.