%---&gt; 7 states
%---&gt; universal automaton
\begin{VCPicture}{(-6,-17)(6,3)}
%
\PlainState
\StateIF{(-6,0)}{A}
\State{(0,-2)}{B}
\StateIF{(6,0)}{C}
\StateIF{(0,-10)}{BC}
\StateIF{(-6,-12)}{AB}
\StateIF{(6,-12)}{AC}
\StateIF{(0,-15)}{ABC}
\Point{(4,-14)}{T}
%
\Initial{A}
\Final{C}
\Initial[e]{AC}
\Initial{AB}
\Initial{ABC}
%
\EdgeBorder
\ArcL[0.8]{A}{B}{a,c}
\EdgeL{B}{C}{a}
\EdgeL{C}{A}{a,c}
\ArcL{B}{A}{b,c}
\ArcL{A}{C}{b}
\LoopN{C}{b}
%
\ArcL{AC}{AB}{a,c}
\ArcL{AB}{BC}{a}
\ArcL[0.3]{BC}{AC}{a,b,c}
\EdgeL{AB}{AC}{b}
\EdgeL{AC}{BC}{b}
\LoopS{AC}{b}
\LoopS{AB}{c}
\EdgeL{BC}{AB}{c}
%
\EdgeR{AC}{C}{b}
\EdgeL[0.7]{BC}{A}{c}
%
\ArcR{A}{AB}{a,c}
\EdgeR[0.2]{A}{AC}{b}
\ArcR{A}{BC}{a,b,c}
\ArcR[0.6]{B}{AB}{b,c}
\ArcL[0.5]{B}{AC}{a,b,c}
\EdgeL[0.2]{B}{BC}{a}
\EdgeR[0.2]{C}{AB}{a,c}
\EdgeL[0.2]{C}{BC}{b}
\ArcL{C}{AC}{a,b,c}
%
\EdgeR{ABC}{AC}{b}
\EdgeL{ABC}{AB}{c}
\LoopS{ABC}{a,b,c}
%
\ChgEdgeLineStyle{dashed}
\ArcL{T}{ABC}{}
\end{VCPicture}
