15-312 Foundations of Programming Languages
Lecture 2: Inductive Definitions
In this lecture we introduce the single most important mathematical
tools in this class: inductive definitions and proof by rule induction.
Inductive definitions are given via judgments and inference rules to
derive judgments. We illustrate these concepts by presenting grammars
inductively and proving some properties of them, such as the equivalence
of two grammars.