\begin{VCPicture}{(-1,1)(4,1)}
\State[p]{(0,0)}{A} \State[q]{(3,0)}{B}
\Initial{A} \Final{B}
\EdgeL{A}{B}{a}
\end{VCPicture}
|
|
|
\begin{VCPicture}{(-1,1)(4,1)}
\State[p]{(0,0)}{A} \State[q]{(3,0)}{B}
\Initial{A} \Final{B}
\ArcL{A}{B}{a}
\end{VCPicture}
|
|
|
\begin{VCPicture}{(-1,1)(4,1)}
\ChgStateLineColor{red}
\ChgStateLabelColor{Green}
\ChgEdgeLineColor{blue}
\ChgEdgeLabelColor{Magenta}
\State[p]{(0,0)}{A} \State[q]{(3,0)}{B}
\Initial{A} \Final{B}
\EdgeL{A}{B}{a}
\end{VCPicture}
|
|
|
\begin{VCPicture}{(-1,1)(4,1)}
\ChgStateLineWidth{2}
\State[p]{(0,0)}{A} \State[q]{(3,0)}{B}
\Initial{A} \Final{B}
\ChgEdgeLineStyle{dashed}
\EdgeL{A}{B}{a}
\end{VCPicture}
|
|
|
\begin{VCPicture}{(-1,1)(4,1)}
\State[p]{(0,0)}{A} \State[q]{(3,0)}{B}
\Initial{A} \Final{B}
\VArcL{arcangle=135}{A}{B}{a}
\end{VCPicture}
|
|
|
\begin{VCPicture}{(-1,1)(4,1)}
\ReverseArrow
\State[p]{(0,0)}{A} \State[q]{(3,0)}{B}
\Initial{A} \Final{B}
\EdgeL{A}{B}{a}
\end{VCPicture}
|
|
|
\begin{VCPicture}{(-1,1)(4,1)}
\VCPut[45]{(0,0)}{%
\State[p]{(0,0)}{A} \State[q]{(3,0)}{B}
\Initial{A} \Final{B}
\EdgeL{A}{B}{a}}
|
|
|
\begin{VCPicture}{(-1,1)(4,1)}
\State[p]{(0,0)}{A} \FinalState[q]{(3,0)}{B}
\Initial{A}
\EdgeL{A}{B}{a}
\end{VCPicture}
|
|
-
Some larger automata drawn with VauCanSon-G (click for source) :
|
