|
Dec 11, 2024
|
|
|
|
2020-2022 Graduate Catalog [ARCHIVED CATALOG]
|
COSC 623 - Logic, Computability and Automata II3 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.
|
|