We have finished the presentation of context-free grammars. A good example of inductively defined sets was the definition of the set of relevant non-terminals.
Definition of (binary) relations. Composition. Transitive and reflexive transitive closure
Definition of equivalence relations. Partitions. Kernel relation of a function. Last modified: Tue May 2 10:58:15 MET DST 2000