Alex Smith (The Simplest Universal Computer Proof contest winner)

Redirect to:

• Wolfram's 2-state 3-symbol Turing machine