Algebraic structure of sequential machines, de-composition of machines; finite automata, formal languages; complexity.
Also offered at the undergraduate level, with different requirements, as
MATH 4805/
COMP 4805, for which additional credit is precluded.
