正規語言
Formal Languages
學期
108-1
學分
3
學分
當期課號
5122
永久課號
IEC5019
開課單位
電機學院碩士在職專班
授課教師
陳榮傑
校區
光復
類別
選修
上課時間表
| 節 | 週二 |
|---|---|
A 18:30–19:20 | 正規語言 EC114 3 節連堂 |
B 19:30–20:20 | |
C 20:30–21:20 |
* 根據陽明交大上課時間表所列
概述
課程概述與目標:本課程探討計算理論的幾個課題: 自動機理論(automata theory), 正規語言與文法(formal languages and grammars), 可計算性理論(computability theory). 1. Introduction to the Theory of Computation 2. Finite Automata 3. Regular Languages and Regular Grammars 4. Properties of Regular Languages 5. Context-Free Languages 6. Simplification of Context-Free Grammars and Normal Forms 7. Pushdown Automata 8. Properties of Context-Free Languages 9. Turing Machines 10. Other Models of Turing Machines 11. A Hierarchy of Formal Languages and Automata 12. Limits of Algorithmic Computation
先修科目
No
評分方式
Homeworks 15% Midterm 40 % Final 45%
教科書
An Introduction to FORMAL LANGUAGES and AUTOMATA (5th or 6th edition) by Peter Linz