
/*---------------------------------.
| Description of automata library. |
`---------------------------------*/

automata/char-fmp-b/t1.xml : Comes from Inside Vaucanson (Fig.2)
automata/char-fmp-b/u1.xml : Comes from Inside Vaucanson (Fig.2)
