let main () =
let dados,maquina = leitura () in
let (a,b,c) = maquina in
try
let memor = ref ((epsilon_trans b maquina),dados) in
while true do
memor := (step !memor maquina)
done
with
FIM x -> print_output x maquina