Description
Covers finite state machines, regular expressions, formal grammars, recursive functions, halting problem, recursive functions featuring machines, theory of automata. Offered TBA.. Prerequisite(s): C or better in CPSC 302 - JAVA II and a C or better in MATH 212.