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