| 國立中興大學教學大綱 |
| 課程名稱 | (中) 正規語言(2295) | ||||||||
| (Eng.) Formal Languages | |||||||||
| 開課單位 | 資工系 | ||||||||
| 課程類別 | 選修 | 學分 | 3 | 授課教師 | 廖宜恩 | ||||
| 選課單位 | 資工系 / 學士班 | 授課使用語言 | 中文 | 英文/EMI | 開課學期 | 1041 | |||
| 課程簡述 | 本課程是電腦科學的核心理論課程，主要在討論電腦的基本能力與限制。涵蓋之主題包含自動機理論、語言理論、可計算理論、複雜度理論。學生可以從本課程學習到幾種計算模型及其計算能力，並了解那些問題是可解的(solvable)？那些問題是不可解的(unsolvable)？進一步去分析可解的問題中，那些是容易的？那些是困難的？ This course focuses on theoretical aspects of Computability and Complexity. Topics covered include Automata and Language Theory, Computability Theory, and Complexity Theory. |
||||||||
| 先修課程名稱 | 課程含自主學習 | N | |||||||
| 課程與核心能力關聯配比(%) | 課程目標之教學方法與評量方法 | |||||||||
| 課程目標 | 核心能力 | 配比(%) | 教學方法 | 評量方法 | ||||||
| 1. 本課程的目標是讓學生熟悉計算理論中的三種計算模型與其所能辨認的語言。 |
|
|
|
|
||||||
| 授課內容(單元名稱與內容、習作/每週授課、考試進度-共18週) | ||||||||||
| 1. Introduction 2. Regular Languages 3. Context-Free Languages 4. The Church-Turing Thesis 5. Decidability 6. Reducibility 7. Time Complexity |
||||||||||
| 學習評量方式 | ||||||||||
| 1. Class Participation: 10% 2. Assignments: 15% (Turn in hand-written solutions) 3. Quizzes: 15% 4. Midterm Exam: 30% 5. Final Exam: 30% |
||||||||||
| 教科書＆參考書目(書名、作者、書局、代理商、說明) | ||||||||||
| Michael Sipser, Introduction to the Theory of Computation, Second Edition, Thomson Course Technology, 2006. | ||||||||||
| 課程教材（教師個人網址請列在本校內之網址） | ||||||||||
| http://ecampus.nchu.edu.tw/eCampus3/learn/default.aspx | ||||||||||
| 課程輔導時間 | ||||||||||
| 聯合國全球永續發展目標(連結網址) | ||||||||||
| ||||||||||
| 請尊重智慧財產權及性別平等意識，不得非法影印他人著作。 | |
| 更新日期 西元年/月/日：無 | 列印日期 西元年/月/日：2025 / 6 / 24 |
| MyTB教科書訂購平台：http://www.mytb.com.tw/ | |