CSCI 4300: Theory of Computation (3)
Lecture: 3, Lab: 0, Other: 0
This course introduces the theory of computability, automata, and formal languages. Topics include regular expressions, contact-free and context-sensitive grammar. Turing machines, recursive functions, lambda calculus, and formal program semantics. Pre-requisite: CSCI 4200