15-453 Formal Languages, Automata, and Computation
Lecture 1: Overview

This lecture provides a general overview of the class, the topics we plan to cover, and their relevance in other branches of computer science.