CS 242 — THEORY OF AUTOMATA AND FORMAL LANGUAGES