next up previous contents
Next: Block permutations Up: Reversible Automata Previous: the Welch diagram

The matrices

The symbolic connection matrix of the subset diagram is

\begin{displaymath}\left[ \begin{array}{l\vert cccccccc}
& \{012\} & \{01\} & ...
...{\} & . & . & . & . & . & . & . & 012 \\
\end{array} \right]. \end{displaymath}

The connection matrix of the pair diagram is

\begin{displaymath}\left[ \begin{array}{l\vert ccccccccc}
& (00) & (01) & (02)...
... \\
(22) & . & . & . & . & . & . & . &
\end{array} \right]. \end{displaymath}



root
2000-03-17