QED

Is de volgende Turing-machine universeel of niet? Wie dit kan bewijzen, ontvangt de Wolfram 2,3 Turing Machine Research Prize ter waarde van 25 000 $.

De machine heeft 2 toestanden en drie kleuren, en als ze universeel is, zou het de kleinst mogelijke universele Turing-machine zijn. Het is namelijk bewezen dat een Turing-machine met 2 toestanden [...]