let main () = let dados,((a,b,c) as maquina) = leitura () in try step_star maquina ((reach_epsilon maquina b),dados) with FIM x -> print_output maquina x