Content
Theoretical computer science: 27.5 Proposition. FK(13) Q(A B) – Q(F(A) F(B)). 27.16 Lemma. w F Q(p A) – Q(OC(p) – OC (Hi). Also theoretical computer science: Figure 3-1. A Turing machine.
Theoretical computer science: 27.5 Proposition. FK(13) Q(A B) – Q(F(A) F(B)). 27.16 Lemma. w F Q(p A) – Q(OC(p) – OC (Hi). Also theoretical computer science: Figure 3-1. A Turing machine.