Automata and Computation Theory (Spring 2017)
Time and Location: TTh 1:30-2:45pm, Shaffer 100.
Instructor: Xin Li. Office hours: Wednesdays 10:30am-12:00pm, Malone 215, or by appointment
Course description: This course is an introduction to the theory of computing. Topics include design of finite state automata, pushdown automata, linear bounded automata, Turing machines and phrase structure grammars; correspondence between automata and grammars; computable functions, decidable and undecidable problems, P and NP problems, NP-completeness, and randomization. Students may not receive credit for 600.271 and 600.471 for the same degree.
Pre Requisite: discrete math or permission.
Required Textbook: Michael Sipser, Introduction to the Theory of Computation, Second Edition.
An article about Alan Turing
A website about Turing and the history of modern computing
Godel's letter to von Neumann