CS 630 - Introduction to Computer Theory

Introduction to the theory of computers and computation including study of formal systems and methods; regular expressions, formal languages and grammars, elements of parsing theory, and the Chomsky hierarchy; finite automata and pushdown automata; decidability; Turning machines, Post machines; and other formal computer models; and elements of complexity theory.
3 credits