[stouset]

I think the part that eludes me here is that it's not clear that such a Turing machine could be built from a finite number of states.