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.