May 27, 2024  
2022-2023 Graduate Catalog 
2022-2023 Graduate Catalog [ARCHIVED CATALOG]

COSC 623 - Logic, Computability and Automata II

3 Credits

Prerequisite(s): COSC 523 Continuation of COSC 523. The theory of abstract mathematical machines. Structural and behavioral classification of automata; finite state automata; theory of regular sets. Pushdown automata, linear bounded automata. Finite transducers. Universal Turing machines.