1. 課程代號：210030
2. 課程名稱（中文）：自動機與形式語言
3. 課程名稱（英文）：Formal Languages and Finite Automata
4. 授課教師：黃光璿 (HUANG, Guan-Shieng)
5. 開授年級：大學部三年級同學
6. 學分數：3
7. 授課時數：3 小時（3fgh, 星期三下午 2:00 ~ 5:00）科三 119
8. 先修課程：無
9. 課程目標：介紹計算的理論模型與方法
10. 評量方式：期中考試 30%，期末考試 40%，平時成績（包含十次左右的作業與小考）30%
11. 主要教科書：
Introduction to the Theory of Computation, by Michael Sipser,
PWS, 1997. (美金 103.95 元)
12. 重要參考資料：
http://staffweb.ncnu.edu.tw/shieng/
13. 課程綱要：
Regular languages
Finite automata
Context-free languages
Pushdown automata
Turing machines
Computability
14. 教學進度：預定上到第五章結束, 但會依同學實際接受情形調整進度