Feb 23, 2025  
2024-2025 Graduate Catalog 
Advanced Search
2024-2025 Graduate 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.