COT 5310 Theory Of Programming Languages And Automata

Gives A Formal Background In Computing Theory And Programming Languages Including The Basis Of Machines And Programming. Logical Network And Switching Theory Sequential Theory And Automata, And Turing Machines And Computability. Foundations Of Automata, Formal Languages Of Recursion Theory.
Prerequisite: COT 3100 Or EquIValent And COT 4210 Or EquIValent.