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