1. 自動機 (Automata) Time: 1:10~2:00 Monday: practice exercise, quiz 2:10~4:00 Wednesday: lecture Textbook: (new!) An Introduction to Formal Languages and Automata, 3rd Edition, Peter Linz

2. Grading policy 45% for 2 midterm, 1 final examination 15% for each midterm 45% for homework exercise and quiz Randomly pick students to practice homework on Monday Possible quiz on Monday 10% for 上課筆記 No lecture slides 上課要抄筆記，學期間會抽查三次算分數

3. Introduction to the theory of computation Computer science 是很實際的學科，大多數人對 computation theory 沒有什麼興趣，除非理論能夠 對他們所要解決的實際問題有幫助。 那為什麼要學習計算理論的課程呢？ 理論提供一些幫助我們了解 computer science 的觀念；可以建構出一個理論的計算機，由理 論的研究可知道實際電腦的限制。實際有用的 東西常是依據「簡單的理論」而來。 理論觀念可應用在很多地方。 這些理論的主題是有趣、令人興奮的。 來源：東華大學

4. 本章的主要主題 Automata, An automaton is a construct that possesses all the indispensable features of a digital computer. A formal language is an abstraction of the general characteristics of programming languages. 之後再討論 mechanical computation 的概念，也 就是 algorithm 的觀念，以及哪些問題適合用 algorithm 來解、哪些不能。 來源：東華大學