正規語言概論
Introduction to Formal Language
| 節 | 週二 | 週四 |
|---|---|---|
2 09:00–09:50 | 正規語言概論 EC015 | |
5 13:20–14:10 | 正規語言概論 EC015 2 節連堂 | |
6 14:20–15:10 |
* 根據陽明交大上課時間表所列
This course --Formal Languages-- is a foundation of the theoretic part of the computer science. We will study the four kinds of formal languages and their relation to computability and complexity 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 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 13. Other Models of Computation 14. An Introduction to Computational Complexity
計算機概論
http://www.cis.nctu.edu.tw/~wuuyang/Lecture/lecture.formal.html
期中考(40%) 期末考(40%) 作業 (15%) 課堂參與(5%)
| 週次 | 主題 |
|---|---|
| 第 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 |
| 第 7 週 | Pushdown Automata |
| 第 8 週 | Properties of Context-Free Languages |
| 第 9 週 | 期中考 |
| 第 10 週 | Turing Machines (1) |
| 第 11 週 | Turing Machines (2) |
| 第 12 週 | Other Models of Turing Machines |
| 第 13 週 | A Hierarchy of Formal Languages and Automata |
| 第 14 週 | Limits of Algorithmic Computation |
| 第 15 週 | Other Models of Computation |
| 第 16 週 | An Introduction to Computational Complexity (1) |
| 第 17 週 | An Introduction to Computational Complexity (2) |
| 第 18 週 | 期末考 |
Peter Linz, An Introduction to Formal Languages and Automata, 6th ed., Jones and Bartlett Publisher, 2018. (reference only) M. Sipser, Introduction to the Theory of Computation, 2nd ed., Thomson, 2006.
- 地點
- EC332B
- 時間
- 2CD
- 聯絡方式
- office phone: 03-5712121 ext 56614. email: wuuyang@cs.nctu.edu.tw.