John Von Neumann Automata Theory