Proof of Trakhtenbrot’s Theorem
•
•The formula fM will say the following:
•< is a linear
order
•T0(p, t) = the tape holds 0 at position p and time t
•T1(p, t) = similar
•Hq(p, t) = the machine is in state q at time t, and the head is over position p of the tape
•[write fM in class]
s =
{<, T0(¢,¢), T1(¢, ¢), (Hq(¢, ¢))q 2 Q}
A ² fM iff A represents a valid
computation of M