0 votes

Provide the inductive proofs needed to complete the following theorems$:$

- The part of Theorem $7.4$ where we show that discovered symbols really are generating.
- Both directions of Theorem $7.6$ where we show the correctness of the algorithm in Section $7.1.2$ for detecting the reachable symbols.
- The part of Theorem $7.11$ where we show that all pairs discovered really are unit pairs.