CSCI 203 — THEORY OF AUTOMATA AND FORMAL LANGUAGES