Vaucanson Project

VauCanSon-G

\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}
Basic

\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}
Arc

\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}
Colors

\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}
Styles

\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}

VArc

\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}
Reverse

\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}}
Rotation

\begin{VCPicture}{(-1,1)(4,1)}
\State[p]{(0,0)}{A} \FinalState[q]{(3,0)}{B}
\Initial{A}
\EdgeL{A}{B}{a}
\end{VCPicture}
Final

  • Some larger automata drawn with VauCanSon-G (click for source) :
CBuniv revuniv
groupuniv S3univ

français english 普通话

Contact : webmaster@vaucanson-project.org
Last update : 2012-07-11