CSC 381 - Introduction to the Theory of Computation

CSC 230 or MTH 230. (4)

Introduction to abstract notions encountered in machine computation. Finite automata, regular expressions and formal languages, with emphasis on regular and context-free grammars. Introduction to models of computation including Turing machines, recursive functions and universal machines. Graded ABCDE