Time and Place: TTh 3-4:15 p.m., BYAC 150
Instructor: Joohyung Lee (joolee (at) asu (dot) edu)
Instructor's Office Hours: W 5-6 p.m., F 1-2 p.m., and by appointment (preferably made at least one day ahead), BY 574.
TA: Yunsong Meng (Yunsong.Meng (at) asu (dot) edu)
TA's Office Hours: TTh 1:30-3:00 p.m., BY 513BA
Textbook: Introduction to the Theory of Computation (2nd ed.), Michael Sipser, Published by Course Technology
Description: This course is an introduction to several important topics in theoretical computer science: regular languages, finite automata, context-free languages, pushdown automata, Turing machines, Church-Turing Thesis, Decidability, Reducibility.