let leitura () = let dados = read_to_list (fun x -> x |> char_of_string |> to_fita) in let init_set = read_to_set int_of_string in let final_set = read_to_set int_of_string in let transitions = read_transition () in (dados,(transitions,init_set,final_set))