I can point to physical machines and say that these compute the same thing as this Turing machine up to a certain size input
-
-
Subset of N which are codes for TMs that halt vs TM that runs TMs until they halt and output 1 at that code
-
Infinite string of 1s is different from TM that writes inf string of 1s, but you suggested using latter to represent former.
-
ah yes, I suppose I do
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.