You do not have permission to edit this page, for the following reasons:
You can view and copy the source of this page.
Templates used on this page:
- Backus-Naur form (view source)
- Inductively defined function (view source)
- Inductively defined set (view source)
- String (view source)
- Substructures of a pair (view source)
- Template:Def (view source)
- Example:Bad inductive function definition (view source)
- Example:Inductive definition of addition (view source)
- Example:Inductive definition of concatenation of strings (view source)
- Example:Inductive definition of string length (view source)
- Example:Inductive definition of the set of expressions (view source)
- Example:Inductive definition of the set of trees (view source)
- Definition:Addition (view source)
- Definition:Concatenation (view source)
- Definition:Length (view source)
- Definition:Natural number (view source)
- Definition:Σ* (view source)
Return to SP18:Lecture 19 Inductive sets.