%---> universal automaton of reversible language
\begin{VCPicture}{(-11,-5)(11,12)}
%
\PlainState
\LargeState
\StateIF[p,q]{(-10,-1)}{AB} \StateIF[q,r]{(-6,-1)}{BC} \StateIF[p,r]{(-8,-4.464)}{AC}
\VCPut{(-5,-5)}{\Large $\kappa=[2,0,0]$}
%
\StateIF[p]{(8,1.536)}{A} \StateIF[q]{(6,5)}{B} \StateIF[r]{(10,5)}{C}
\VCPut{(8,-0.5)}{\Large $\kappa=[1,0,0]$}
%
\StateIF[pq]{(-8,7.536)}{Ab} \StateIF[qr]{(-6,11)}{Bc} \StateIF[pr]{(-10,11)}{Ac}
\VCPut{(-2,11)}{\Large $\kappa=[0,1,0]$}
%
\ChgStateLabelScale{1.2}
\StateIF[p,qr]{(0,-1.464)}{ABc} \StateIF[q,pr]{(-2,2)}{BAc} \StateIF[r,pq]{(2,2)}{CAb}
\VCPut{(3,-2)}{\Large $\kappa=[1,1,0]$}
%
\StateVar[pq,pr,qr]{(-8,3)}{AbAcBc}
\VCPut{(-8,1)}{\Large $\kappa=[0,3,0]$}
%
\StateIF[pr,qr]{(2,8)}{AcBc} \StateIF[pq,pr]{(0,4.536)}{AbAc} \StateIF[pq,qr]{(-2,8)}{AbBc}
\VCPut{(5,9)}{\Large $\kappa=[0,2,0]$}
%
\DimEdge
\ChgEdgeLineStyle{dotted}
\RstEdgeLineWidth
%
\EdgeR{Ab}{AbAc}{} \EdgeR{Ab}{AbBc}{}
\EdgeR{Ac}{AbAc}{} \EdgeR{Ac}{AcBc}{}
\EdgeR{Bc}{AbBc}{} \EdgeR{Bc}{AcBc}{}
%
\EdgeR{AbAc}{AbAcBc}{} \EdgeR{AbAc}{A}{}
\EdgeR{AbBc}{AbAcBc}{} \EdgeR{AbBc}{B}{}
\EdgeR{AcBc}{AbAcBc}{} \EdgeR{AcBc}{C}{}
%
\EdgeR{A}{ABc}{} \EdgeR{B}{BAc}{} \EdgeR{C}{CAb}{}
%
\EdgeR{AbAcBc}{ABc}{} \EdgeR{AbAcBc}{BAc}{} \EdgeR{AbAcBc}{CAb}{}
%
\EdgeR{ABc}{AB}{} \EdgeR{ABc}{AC}{} \EdgeR{BAc}{AB}{}
\EdgeR{BAc}{BC}{} \EdgeR{CAb}{AC}{} \EdgeR{CAb}{BC}{}
%
\RstEdge
%
\Initial{Ab} \Final{Ab} \Final[w]{Ac} \Final{Bc}
%
\Initial{AbAc} \Initial{AbBc}
\Final[s]{AbBc} \Final{AbAc} \Final{AcBc}
%
\Initial{AbAcBc} \Final{AbAcBc}
%
\Initial{A} \Initial{B}
\Final[s]{B} \Final{C}
%
\Initial{ABc} \Initial{BAc} \Initial[s]{CAb}
\Final[s]{BAc} \Final{CAb}
%
\Initial{AB} \Initial{AC} \Initial[s]{BC}
\Final{BC}
%
\EdgeR{Ab}{Bc}{a,b} \EdgeR{Bc}{Ac}{a} \EdgeR{Ac}{Ab}{a}
%
\EdgeL{AbAc}{AbBc}{a} \EdgeL{AbBc}{AcBc}{a} \EdgeL{AcBc}{AbAc}{a}
%
\LoopN{AbAcBc}{a}
%
\EdgeL{A}{B}{a} \EdgeL{B}{C}{a}
\ArcL{A}{C}{b} \ArcL{C}{A}{a}
%
\LoopN{B}{b}
%
\EdgeL{ABc}{BAc}{a} \EdgeL{BAc}{CAb}{a} \EdgeL{CAb}{ABc}{a}
%
\EdgeL{AB}{BC}{a,b} \EdgeL{BC}{AC}{a} \EdgeL{AC}{AB}{a}
%
\end{VCPicture}