../ finomaton.pdf 21-Jun-2007 18:30 48K finomaton.tex 21-Jun-2007 18:21 1486 graph1.fin 21-Jun-2007 18:21 388 graph2.fin 21-Jun-2007 18:21 389 graph3.fin 21-Jun-2007 18:21 2943 graph4.fin 21-Jun-2007 18:21 961 graph5.fin 21-Jun-2007 18:21 1368 graph6.fin 21-Jun-2007 18:21 1465 graph7.fin 21-Jun-2007 18:21 1087 graph8.fin 21-Jun-2007 18:21 2476 graph9.fin 21-Jun-2007 18:21 823