This is an introductory course to the theory of computing, a study of formal/mathematical foundations of computer science and technology. Its goal is to acquaint the students with the basic concepts in computation theory and to cultivate the students' ability in analyzing the complexity of computational problems.

• 04/30: HW#8 due 2:20PM 05/07.
• 04/29: Suggested Solutions to Midterm Problems available (revised 04/30).
• 04/23: notes/slides for Decidability available.
• 04/23: HW#7 due 1:20PM 04/30.
• 04/16: notes/slides for Turing Machines available.
• 04/02: old exams: 2000-2023. (Note: I didn't offer the course some of the years.)
• 04/01: HW#6 due 2:20PM 04/16.
• 03/25: HW#5 due 1:20PM 04/02.
• 03/18: HW#4 due 03/26.
• 03/18: notes/slides for Context-Free Languages and Pushdown Automata available.
• 03/10: HW#3 due on 03/19.
• 03/04: HW#2 due on 03/12.
• 02/27: notes/slides for Finite Automata and Regular Languages available.
• 02/27: HW#1 due on 03/05.
• 02/19: notes/slides for Introduction and Mathematical Preliminaries available.
• 02/17: this website created to complement the NTU COOL site for this course.

Yih-Kuen Tsay (蔡益坤), NTU IM Dept., 3366-1189, Xtsay@ntu.edu.twX (between the enclosing pair of X's).

Tuesday 2:20~5:20PM, Room 203, Management Building 2.
TA sessions will be scheduled prior to some of the class meetings between 1:20 and 2:10PM; see the course schedule.

Tuesday 1:30~2:00PM, Wednesday 1:30~2:00PM, or by appointment, Room 1108, Management Building 2.

Min Lai (賴旻), Xb10705055@ntu.edu.twX (between the enclosing pair of X's).

• Introduction to the Theory of Computation, 3rd Edition, Michael Sipser, Cengage Learning, 2012. (歐亞圖書代理)

This introductory course to the theory of computing covers various mathematical models, including automata and Turing machines, for physical computing machineries along with their computational capabilities/limitations. In terms of specific topics and the order of their exposition, the course will follow closely the book by Sipser.
(Note: a TA session will precede a class meeting whose date is marked with an *. There are four TA sessions on 03/12, 04/02, 04/30, and 05/28.)

• Introduction and Mathematical Preliminaries (1.5 weeks: 02/20, 02/27a) [notes, slides]
• Finite Automata and Regular Languages (2.5 weeks: 02/27b, 03/05, 03/12*) [notes, slides, appendix:minimization]
• Context-Free Languages and Pushdown Automata (3 weeks: 03/19, 03/26, 04/02*) [notes,slides]
• Midterm (2024/04/09)
• Turing Machines (1.5 weeks: 04/16, 04/23a) [notes, slides]
• Decidability (and Undecidability) (2 weeks: 04/23b, 04/30*, 05/07a) [notes, slides]
• Reducibility (1.5 weeks: 05/07b, 05/14) [notes, slides]
• Time Complexity and NP-Completeness (2 weeks: 05/21, 05/28*) [notes, slides]
• Final (2024/06/04)

Homework 20%, Participation 10%, Midterm 35%, Final 35%.

• MIT OpenCourseWare: Automata, Computability, and Complexity
• Coursera: Introduction to Theoretical Computer Science
• Introduction to Automata Theory, Languages, and Computation, John E. Hopcroft and Jeffrey D. Ullman, Addison-Wesley, 1979.
• Introduction to Automata Theory, Languages, and Computation, 3rd Edition, John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman, Addison-Wesley, 2006.
• Elements of the Theory of Computation, 2nd Edition, Harry R. Lewis and Christos H. Papadimitriou, Prentice-Hall, 1998.
• Mathematics and Computation: A Theory Revolutionizing Technology and Science, Avi Wigderson, 2019. (The book has formally been published by Princeton University Press.)
• Maillardet's Automaton at the Franklin Institute.
• What Is an Algorithm? (M.Y. Vardi, Communications of the ACM, Volume 55 Issue 3, March 2012)
• What Is Computation? (a lecture by Leslie Lamport, who received the 2013 Turing Award)
• Free Tool: GOAL
• Free Tool: JFLAP