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