\chapter{A proposal for an XML format for automata}
\label{sec:xml}

This is not a complete description of the \Vauc proposal for an XML
format for automata.  The interested reader will find such a
description at the following URL.  We just present here few examples
of files, that should give an idea on how these files are built.

\begin{lstlisting}
<automaton name="a1" xmlns="http://vaucanson.lrde.epita.fr">
   <content>
      <states>
         <state name="s0"/>
         <state name="s1"/>
         <state name="s2"/>
      </states>
      <transitions>
         <transition src="s0" dst="s0" label="a"/>
         <transition src="s0" dst="s0" label="b"/>
         <transition src="s0" dst="s1" label="a"/>
         <transition src="s1" dst="s2" label="b"/>
         <transition src="s2" dst="s2" label="a"/>
         <transition src="s2" dst="s2" label="b"/>
         <initial state="s0"/>
         <final state="s2"/>
      </transitions>
   </content>
</automaton>
\end{lstlisting}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: "vaucanson-user-manual"
%%% End:
