Prerequisites: CS 014; CS 111/MATH 111; MATH 009C or MATH 09HC
Description: A study of formal languages, including regular and context-free languages; compu- tational models for generating these languages such as finite-state automata, pushdown automata, regular expressions, and context-free grammars; mathematical properties of the languages and models; equivalence between the models, and an introduction to Turing machines and decidability.