7 views

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

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

3