Von Neumann's Solution? The General Constructive Automaton

$\includegraphics{vnsr-plus.eps}$

$\begin{displaymath}((u_0 \oplus i) \oplus d(u_0 \oplus i)) \leadsto ((u_0 \oplus i) \oplus d(u_0 \oplus i)) \end{displaymath}$