CSCE 755: Computability, Automata, and Formal Languages
3 credits.
Pre-Requisites or Co-Reqs:
Prereq: CSCE 355 or 551)
Formal models of computation, including finite state automata, Turing machines, recursive functions, formal grammars, and abstract complexity theory.