The General Constructive Automaton

$\includegraphics{constructor.eps}$

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

Barry.McMullin@dcu.ie