Computability, Automata, and Formal Languages

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.