Engaging students in formal language theory and theory of computation.