FOM: Wolfram?

Neil Tennant neilt at
Wed Jun 5 19:33:04 EDT 2002

On Wed, 5 Jun 2002 JoeShipman at 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

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