% Generated, do not edit by hand.
\chapter{Automaton Library}

\Vauc comes with a set of interesting automata that can be used to toy
with \tafkit (\autoref{sec:tafkit}) for instance.  In the chapter, we
present each one of these automata.


\section{Boolean Automata}
\label{sec:auto:b}

\subsection{a1}
\label{b:a1}
\execdisplay{al-b-a1}{vcsn-b dump-automaton a1 | vcsn-b}{-}

\subsection{b1}
\label{b:b1}
\execdisplay{al-b-b1}{vcsn-b dump-automaton b1 | vcsn-b}{-}

\subsection{div3base2}
\label{b:div3base2}
\execdisplay{al-b-div3base2}{vcsn-b dump-automaton div3base2 | vcsn-b}{-}

\subsection{double-3-1}
\label{b:double-3-1}
\execdisplay{al-b-double-3-1}{vcsn-b dump-automaton double-3-1 | vcsn-b}{-}

\subsection{ladybird-6}
\label{b:ladybird-6}
\execdisplay{al-b-ladybird-6}{vcsn-b dump-automaton ladybird-6 | vcsn-b}{-}

\section{\Z-Automata}
\label{sec:auto:z}

\subsection{b1}
\label{z:b1}
\execdisplay{al-z-b1}{vcsn-z dump-automaton b1 | vcsn-z}{-}

\subsection{c1}
\label{z:c1}
\execdisplay{al-z-c1}{vcsn-z dump-automaton c1 | vcsn-z}{-}

\section{Transducers}
\label{sec:auto:tdc}

\subsection{t1}
\label{tdc:t1}
\execdisplay{al-tdc-t1}{vcsn-tdc dump-automaton t1 | vcsn-tdc}{-}

\subsection{u1}
\label{tdc:u1}
\execdisplay{al-tdc-u1}{vcsn-tdc dump-automaton u1 | vcsn-tdc}{-}

