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.
HTTP 418: I'm a teapot
The server identifies as a teapot now and is on a tea break, brb
HTTP 418: I'm a teapot
The server identifies as a teapot now and is on a tea break, brb
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.