CSCI 3013 - Computer Theory

3 cr.

The various types of abstract languages and their corresponding acceptors. The Chomsky hierarchy. Determinism and non-determinism in language acceptors; problem decidability. The relationship of abstract languages and automata to computers.

Prerequisite(s): CSCI 3005 and CSCI 3010.

Click here for course scheduling information.