Spring 2016
Course Description

Theoretical models of computation, types of automata, and their relations to formal grammars and languages.
Course Information


  • Clyde Kruskal (kruskal@cs.umd.edu), Office 3215 AV Williams


  • We will be using piazza for announcements and discussions. Please register yourself on Piazza. You can ask private questions (only instructor and TAs can see) or ask/reply anonymously. However DO NOT post your answer and ask if it is correct. If in doubt, ask private question or come during office hours.


  • Michael Sipser. Introduction to the Theory of Computation PWS Publishing Company (Any edition is fine)

Teaching Assistants

  • Sheng Yang (yangsheng6810@gmail.com)

Midterm Exam

Final Exam


Office Hours
  • Clyde Kruskal: MW 10:00-11:00am, Tu 11-12am; A.V. Williams 3215
  • Sheng Yang: MW 1:30-3:00 pm; A.V. Williams 4103