%---> 7 states %---> 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}