Gii thiu mn hc i hc Quc Gia Tp.

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

Kim tra/Thi/Bi tp Gia hc k Cui hc k Bi tp ln

Hnh thc Trc nghim Trc nghim Lp trnh

T l % 30% 70% Cng vo im thi Cui hc k

Trang 1/4

Gii thiu mn hc

CNG CHI TIT MN HC

Tun 1, 2 Ni dung Chng 1. Gii thiu 1.1 Yu cu v kin thc nn Tp hp, hm v quan h L thuyt th Cc K Thut Chng Minh Bi Tp 1.2 Cc khi nim Th tc, gii thut phc tp tnh ton Ngn ng Vn phm Automat Bi Tp 1.3 Mt vi ng dng Bi Tp Chng 2. Automat Hu hn 2.1 Automat hu hn n nh (DFA) Automat n nh v th chuyn trng thi Ngn ng v dfa Ngn ng chnh qui Bi tp 2.2 Automat hu hn khng n nh (NFA) nh ngha mt Automat khng n nh Ti sao khng n nh Bi tp 2.3 S tng ng gia NFA v DFA Bi tp 2.4 Rt gn s trng thi ca mt DFA Bi tp 2.5 Mt vi bin th ca automat hu hn Chng 3. Ngn ng Chnh qui v Vn phm Chnh qui 3.1 Biu thc chnh qui nh ngha hnh thc ca mt biu thc chnh qui Ngn ng tng ng biu thc chnh qui Bi tp 3.2 Quan h gia biu thc chnh qui v ngn ng chnh qui Biu thc chnh qui biu th ngn ng chnh qui Biu thc chnh qui cho ngn ng chnh qui Biu thc chnh qui cho vic m t cc mu n gin Bin i biu thc chnh qui trc tip thnh DFA Bi tp 3.3 Vn phm chnh qui Vn phm tuyn tnh phi v tri Vn phm tuyn tnh phi sinh ra ngn ng chnh qui Vn phm tuyn tnh phi cho cc ngn ng chnh qui S tng ng gia ngn ng chnh qui v vn phm chnh qui Trang 2/4 Ti liu [ 1 ][ 2 ][ 4 ] Ghi ch T c

Ging

Ging [ 1 ][ 2 ][ 3 ] Ging

2, 3

Ging T c Ging Ging T c [ 1 ][ 2 ][ 5 ] [6] Ging

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

Gii thiu mn hc Ti liu Ghi ch [ 1 ][ 2 ][ 3 ] Ging

Tho lun Ging

Ging [ 1 ][ 2 ][ 3 ] Ging

Ging

Ging [ 1 ][ 2 ][ 3 ] Tho lun

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

Gii thiu mn hc Ti liu Ghi ch Tho lun T c [ 1 ][ 2 ][ 3 ] Ging

Tho lun

[ 1 ][ 2 ]

T c c trc Ging

Ging Ging [ 2 ][ 3 ] T c Ging Ging Ging Ging T c Tho lun Ging

Trang 4/4