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

automata/tdc/t1.xml : Comes from Inside Vaucanson (Fig.2)
automata/tdc/u1.xml : Comes from Inside Vaucanson (Fig.2)
