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