HCM Trng i Hc Bch Khoa Tp HCM Khoa Cng Ngh Thng Tin
GII THIU MN HC
1. 2. 3.
4. 5. Tn mn hc S tn ch M s mn hc Mn hc trc Mn song hnh Ni dung tm tt
: L THUYT AUTOMAT V NGN NG HNH THC (Formal Language Theory and Automata) :3 : 501038 : Ton Tin :
6.
Gii thiu v ngn ng hnh thc, automata, v cc vn lin quan. u tin l s gii thiu v lp automata n gin nht, lp automata hu hn. Trong mi quan h vi n lp ngn ng chnh qui cng c gii thiu. Tip theo l s gii thiu v lp automata y xung v lp ngn ng phi ng cnh cng nh mi quan h gia chng. Cng vi lp ngn ng phi ng cnh cc khi nim v phng php phn tch c php cng c trnh by. Cui cng l phn trnh by v my Turing, kh nng ca n v cc khi nim lin quan chng hn nh s kh tnh ton, hay phc tp tnh ton Cc ng dng ca cc lp ni trn vo trong cc lnh vc lin quan cng c trnh by.
7. Ti liu tham kho
[ 1 ] H Vn Qun Gio trnh L thuyt Automat v Ngn ng Hnh thc Nh xut bn i hc Quc gia Tp. H Ch Minh 2001 [ 2 ] Peter Linz - An Introduction to Formal Languages and Automata - D.C. Heath and Company 1990 [ 3 ] John E. Hopcroft v Jeffrey D. Ullman - Introduction to Automata Theory, Languages and Computation - Addison-Wesley Publishing Company, Inc 1979 [ 4 ] Nguyn Thanh Tng - L thuyt Ngn ng hnh thc v tmt i hc Bch Khoa Tp. H Ch Minh (lu hnh ni b) 1993 [ 5 ] Alfred V.Aho, Ravi Sethi, Jeffrey D. Ullman - Compiler Principles, Techniques, and Tools - Addison-Wesley Publishing Company, Inc 1986 [ 6 ] Phan Th Ti - Trnh Bin Dch i hc Bch Khoa Tp. H Ch Minh - 1986
8. Cch nh gi v tnh im
Trang 1/4
Gii thiu mn hc
Ging
Ging [ 1 ][ 2 ][ 3 ] Ging
2, 3
4, 5
Tho lun
T c Tho lun
Tun 5, 6
8,9
9, 10, 11
Ni dung Bi tp Chng 4. Cc Tnh cht ca Ngn ng Chnh qui 4.1 Tnh ng ca ngn ng chnh qui ng di cc php ton tp hp n gin ng di cc php ton khc Bi tp 4.2 Cc cu hi c bn v ngn ng chnh qui Bi tp 4.3 Nhn bit cc ngn ng khng chnh qui S dng nguyn l pigeonhole (chung chim b cu) B pumping (B bm) Bi tp 4.4 Tm tt v h ngn ng chnh qui Chng 5. Cc Ngn ng Phi ng cnh 5.1 Cc vn phm phi ng cnh Cc v d v ngn ng phi ng cnh Dn xut tri v dn xut phi Cy dn xut Quan h gia dng cu v cy dn xut Bi tp 5.2 Phn tch c php v tnh nhp nhng Phn tch c php v membership Tnh nhp nhng trong vn phm v ngn ng Bi tp 5.3 Cc vn phm phi ng cnh v cc ngn ng lp trnh Bi tp Chng 6. n gin ha cc Ngn ng Phi ng cnh v cc Dng chun 6.1 Cc phng php bin i vn phm Mt vi qui tc thay th hu hiu Kh cc lut sinh - v dng Kh cc lut sinh - Kh cc lut sinh - n v Bi tp 6.2 Hai dng chun quan trng Dng chun Chomsky Dng chun Greibach Bi tp 6.3 Gii thut thnh vin cho vn phm phi ng cnh Gii thut CYK Gii thut Earley Bi tp Chng 7. Automat y xung 7.1 Automat y xung khng n nh (NPDA) nh ngha mt automat y xung Ngn ng c chp nhn bi mt automat y xung Bi tp 7.2 Automat y xung v ngn ng phi ng cnh Automat y xung cho ngn ng phi ng cnh Vn phm phi ng cnh cho automat y xung Bi tp Trang 3/4
Ging [ 1 ][ 2 ][ 3 ] Ging
Ging
Tho lun
Ging T c [ 1 ][ 2 ][ 3 ] Ging
Ging
Ni dung 7.3 Automat y xung n nh (DPDA) v ngn ng phi ng cnh n nh Bi tp 7.4 Vn phm cho ngn ng phi ng cnh n nh Vn phm LL(k) Vn phm LR(k) Bi tp 11, 12 Chng 8. Cc Tnh cht ca Ngn ng Phi Ng cnh 8.1 Hai b pumping B pumping cho ngn ng phi ng cnh B pumping cho ngn ng tuyn tnh Bi tp 8.2 Tnh ng v cc gii thut quyt nh cho ngn ng cnh Tnh ng ca ngn ng phi ng cnh Mt vi tnh cht kh quyt nh ca ngn ng phi ng cnh Bi tp 8.3 Tm tt v h ngn ng phi ng cnh 13 Chng 9. My Turing 9.1 My Turing chun nh ngha my Turing My Turing nh mt my chp nhn ngn ng My Turing nh mt transducer Bi tp 9.2 Kt hp cc my Turing cho cc cng vic phc tp Bi tp 9.3 Lun thuyt ca Turing Bi tp 14 Chng 10. Mt vi ch b sung 10.1 Mt vi bin th ca my Turing 10.2 Automat rng buc tuyn tnh 10.3 Ngn ng cm ng cnh 10.4 Ngn ng qui v kh lit k qui 10.5 Ngn ng khng b rng buc 10.6 Phn cp theo Chomsky 10.7 Gii hn ca tnh ton c tnh gii thut Gii thiu mt vi bi ton khng gii c 10.8 phc tp tnh ton nh ngha o phc tp Phn loi phc tp phc tp lp P v NP
Tun
Tho lun
[ 1 ][ 2 ]
T c c trc Ging
Trang 4/4