CSCI 3130 形式語言及自動機理論 Formal Lang & Automata Theory

Course Code	CSCI 3130 CSCI3130			科目名稱		形式語言及自動機理論 Formal Lang & Automata Theory
教員	Professor CHAN Siu On [官方介紹] [學術著作]			學　　分		3學分
課程性質	Computer Science必修			同科其他選擇
Workload	l   非PAPER類HOMEWORK l   MIDTERM l   FINAL EXAM								好重
									重
									平均	2
									輕
									極輕
評價教學內容	#1還好, midterm 前嘅野基本上有聽書就易明 但係tutor 嘅質素好有問題, 有啲改hw 好求其有啲就好緊, exam 都係。Btw，final exam 有得睇返份卷追分。 #2 喱科嘅Workload主要係功課, 1學期總共6份, 平均2星期1份, 1份大槪做5-6鐘左右喇, 仲可以畀你同其他人一齊合作做, 但要mark返喺份功課度. 課程前期教嘅DFA NFA Context-free grammar之類有得run下嘅野, 比較實際同易理解, 都算易拎分. 課程後期教嘅Decidability同NP-Complete Problem就抽象到阿媽都唔認得, 當然如果你本身邏輯好或者CS底子好就唔洗驚啦, 雖然Tutorial有例子教點做啲功課, 但去到後期嘅課程其實無乜幫助. 至於Lecture啲Powerpoint有時有用, 有時無用, 因為有啲Mark得唔清楚, 如果你無上lecture, 就咁睇Powerpoint可能有啲位唔知佢做緊乜, 不過都唔洗擔心, 喱科上網有好多教學片, 可以慢慢煲. Midterm Final唔算難, 其本上有做過功課就識.(想minor CS嘅同學仔, 我建議讀下Data Structure可能會好啲.)
評價教員教學	#1 算清楚, powerpoint 夠精簡 #2 Prof本身係好有料的, 但佢啲英文係講得唔太順耳好似1999咁, 有時聽TA仲會易聽啲, 不過係解Powerpoint方面算幾有心, 學生問咩問題基本上佢都會答, 有時仲多人問到要排隊添. 至於Tutorial可能年年唔同, 今年嘅我自己班嘅Tutorial講解算清淅.
CUSIS科目資料	Description： Deterministic and nondeterminisitic finite automata, regular expressions, context-free grammars, pushdown automata, context-sensitive grammars, parsing of LR(O) and LR(K) languages, introduction to Turing machines and computability. Learning Outcome： understand the concepts and applications of: 1. regular languages and finite automata 2. context free languages and pushdown automata 3. context sensitive languages 4. LR(k) parsing 5. Turing machines 6. undecidability
其他資料	2017Sem1：學位 170|註冊 170|剩餘 0 2018Sem1：學位 170|註冊 164|剩餘 6 2019Sem1：學位 170|註冊 153|剩餘 17 2020Sem1：學位 170|註冊 142|剩餘 28
同學推薦	高度推薦		推薦		2	有保留		極有保留