Automata - Bai Tap Chuong 1234

Embed Size (px)

Citation preview

Mt s dng bi tp: Bi 2: Vn phm v ngn ng hnh thc 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 aSBCS aBCCB BCaB ab bB bbbC bccC cc Bi I.8. SaB AbAASbA BbAa BbSAaS B aB Bi I.9. S0A B 1BS1B B 1 A 0AB 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 kL G a bc n m k = > Bi I.11.( ) {( )( ) | , 0}n mL G ab cb n m = > Bi I.12.( ) {(0)(10) | , 0}n mL G n m = > Bi I.13.( ) { | {a,b} } L G c c e e e e+= e Bi I.14. 2( ) { | 0}n nL G c d n = > Bi I.15.( ) { | {a,b} } L G eee e+= + e Bi I.16. 1 1( ) {(10) (01) | 0}n nL G n += > Bi I.17.( ) { | {0,1} }RL 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. Biudinccsthc(didngkhoahc12.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 1a bL 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 an, n>3} Bi I.30.L(G) = {w{a, b}*, sao cho trong mi t tn ti chui con dng an, n3, 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.{ }*( ) {, } , 2RL G vwv a b v = e =Bi I.38.{ }( ) , ( ) mod3 0m nL G w ab m n = = + =Bi I.39.{ }*( ) {, } , ( ) mod2 0, ( ) mod2 1a bL 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 2A c 2n phn t.