Description
COMP 314. AUTOMATA THEORY. This course is an introduction to computation theory including the topics: finite automata, regular languages, pushdown automata, context-free languages, Turing machines, recursive languages and functions, and computational complexity. Prerequisites: Computer Science 220 and Mathematics 213. Spring semester only, three hours.