COT 5310 Theory Of Programming Languages And Automata

Prerequisite: COT 3100 Or EquIValent And COT 4210 Or EquIValent. 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.