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 contextfree grammars, Turing machines, undecidability, and the halting problem. |