Definition
Inductive Definition
Inductive definitions are used to construct infinite sets based on the definition rules.
Example: Let
denote an alphabet and denote the possible words, then:
. . Using these definitions rules, a set of possible words can be inductively (iteratively) created.