課程編碼 Course Code | 中文課程名稱 Course Name (Chinese) | 英文課程名稱 Course Name (English) | 總學分數 Credits | 總時數 Hours |
---|---|---|---|---|
3105089 | 自動機理論與正規語言 | Automata Theory and Formal Language | 3.0 | 3 |
中文概述 Chinese Description | 這門課程主要的目的是提供學生們有關於正規語言、自動機理論、計算複雜度等內容,詳細內容如下: 1. 自動機 2. 有限自動機 3. 常規表示式與語言 4. 常規語言的特性 5. 前後文無關性語法與語言 6. Pushdown自動機 7. 前後文無關性語法的特性 8. Turing機器的介紹 9. 不可決定性問題 10. Intractable問題 | |||
英文概述 English Description | The purpose of this course is to provide students with the concepts of formal languages, automata theory, and computational complexity. The topic is as follows: 1. Automata: The Methods and the Madness 2. Finite Automata 3. Regular Expressions and Languages 4. Properties of Regular Languages 5. Context-Free Grammars and Languages 6. Pushdown Automata 7. Properties of Context-Free Languages 8. Introduction to Turing Machines 9. Undecidability 10. Intractable Problems |
備註: