Students who complete this course successfully should
understand advanced concepts of automata, regularity, descriptional complexity,
and related concepts;
have solved several problems which would increase your ability to formulate
abstract arguments; and
have had repeated exercise and practice in the formal and precise description
of the properties of computability and automata.