Loyola University Chicago

Mathematics and Statistics

MATH 476: Automata and Formal Languages

Course Details
Credit Hours: 3
Prerequisites: COMP 163 or MATH 201 or MATH 212
Description:  This course introduces formal language theory, including such topics as finite automata and regular expressions, pushdown automata and context­free grammars, Turing machines, undecidability, and the halting problem.