Close Menu
View Course Sections

Course Description

(Cross-listed as COMP 170). Models of computation: Turing machines, pushdown automata, and finite automata. Grammars and formal languages, including context-free languages and regular sets. Important problems, including the halting problem and language equivalence theorems.Recommendations: COMP 15 and MATH 61.