CSC 8500
:
Formal Grammars
Machines; nondeterminism; simulation; finite machines and regular languages; grammars; stack, counter, and tape machines; computability.
Prerequisites
(CSC 8301 :C and CSC 8310 :C)