VauCanSon-G: Examples

Simple automata drawn with VauCanSon-G

• Example 1

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

• Example 2

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

• Example 3

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

• Example 4

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

• Example 5

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

• Example 6

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

• Example 7

  \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} } \end{VCPicture}

• Example 8

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

Larger automata drawn with Vaucanson-G

Some examples of universal automata (see Elements of Automata Theory, Ch. II.4 for the definition of universal automata)

• Universal automaton of xxx.
  Download Postscript, Source.
• Universal automaton of yyy.
  Download Postscript, Source.
• Universal automaton of zzz.
  Download Postscript, Source.
• Universal automaton of ttt.
  Download Postscript, Source.