正規語言概論
Introduction to Formal Language
學期
108-2
學分
3
學分
當期課號
1288
永久課號
DCP3321
開課單位
資訊學院共同課程
授課教師
黃俊龍
校區
光復
類別
必修
上課時間表
| 節 | 週二 | 週四 |
|---|---|---|
3 10:10–11:00 | 正規語言概論 EC114 2 節連堂 | |
4 11:10–12:00 | ||
7 15:30–16:20 | 正規語言概論 EC114 |
* 根據陽明交大上課時間表所列
先修科目
演算法
評分方式
期中考 1: 25% 期中考 2: 25% 作業: 20% 期末考: 30%
週次計畫
| 週次 | 主題 |
|---|---|
| 第 1 週 | Introduction |
| 第 2 週 | Finite Automata, Regular Expressions, and Regular Languages |
| 第 6 週 | Pushdown Automata, Context-Free Grammars, and Context-Free Languages |
| 第 10 週 | Turing Machines, Decidability, and Reducibility |
| 第 14 週 | Time Complexity, P, NP, and NP-Completeness |
教科書
Introduction to the Theory of Computation (2nd Edition), Michael Sipser, Thomson Course Technology. ISBN: 0619217642
Office Hours
- 地點
- EC544
- 聯絡方式
- Email, 電話