Prove that the relation ∼ introduced in Definition 8.6 is an equivalence relation, as stated in Proposition 8.7. Prove that if p ∼ q, then p simulates q and q simulates p. The reverse is not true....

Prove that the relation ∼ introduced in Definition 8.6 is an equivalence

relation, as stated in Proposition 8.7.

Prove that if p ∼ q, then p simulates q and q simulates p.