CS 133 — Automata Theory and Computability