CSC 381 - Introduction to the Theory of Computation

CSC 230/MTH 230. (3)

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