FOM: Wolfram?
Neil Tennant
neilt at mercutio.cohums.ohio-state.edu
Wed Jun 5 19:33:04 EDT 2002
On Wed, 5 Jun 2002 JoeShipman at aol.com wrote:
>I don't know about this 2-state 5-symbol periodic-background UTM -- what
>is the record for (states*symbols) in a UTM with ordinary finite
>background?
I once saw Conway give a proof that there is a UTM with 8 states, whose
symbols are 0,1 and Halt. That was over twenty years ago, and I don't know
what the state of the art would be now.
Neil Tennant
More information about the FOM
mailing list