3Credits 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.