CC CH BI TP MN TMT V NGN NG HNH THC

1. Cho ngn ng L tm vn phm G. Nhn bit vn phm g theo phn cp Chomsky 2. Cho vn phm G tm ngn ng. Nhn bit ngn ng g theo phn cp Chomsky 3. Cho M l OHK tm M l OH tng ng sao cho L(M) = L(M) 4. Cho pht biu tm BTCQ v ngc li 5. Cho BTCQ tm NNCQ v ngc li 6. Cho NNCQ tm VPCQ v ngc li 7. Cho VPCQ tm tmt hu hn v ngc li 8. Cho G tm VPCQ G tng ng sao cho L(G) = L(G) 9. Cho G tm VPPNC G tng ng sao cho L(G) = L(G) 10. Gin lc VPPNC (4 vn ) 11. Bin i VPPNC v dng chun Chomsky, Greiback 12. Nhn bit G nhp nhng trn chui no, cch khc phc n 13. Tm qu trnh dn xut ca chui v (chng t v c sinh ra t vn phm) 14. Chui y c c tmt hu hn (M) on nhn hay khng? (chng t y c on nhn bi (M)) 15. Chui y c c tmt y xung (M) on nhn hay khng? (chng t y c on nhn bi (M) hoc tm dy chuyn hnh trng ca pda chp nhn chui y) 16. Cho chui w tm qu trnh dn xut chui w v tm dy chuyn hnh trng tng ng ca w (cho w chng t w c sinh ra t VPPNC (G) v cng c on nhn bi pda (M)) 17. V cy dn xut ca chui x 18. Cho L hoc VPPNC tm npda 19. Cho npda tm L hoc VPPNC 20. Phn tch c php bng gii thut CYK 21. Cho L tm vn phm LL(k) 22. Nhn bit vn phm c thuc h LL(k) hay khng 23. Phn tch c php ca cu w trn vn phm LL(k) 24. Cho L, thit k my Turing 25. Cho biu thc hoc hm tnh, thit k my Turing 26. Cho my Turing tm ngn ng L c chp nhn bi my Turing CU TRC THI Hnh thc bi tp, khng s dng ti liu Thi gian 120 CU 1 : (2 im) ch 1,2 CU 2 : (1 im) ch 3,4,5,6,10,11,12 CU 3: (3 im) BTCQ <-> NNCQ <-> VPCQ <-> OHK <-> OH CU 4: (3 im) VPPNC <-> NNPNC <-> PDA CU 5: (1 im) Turing Machine