for node in dfa: if node not in new_nodes: new_nodes[node] = i i += 1 new_edges = {} for edge in dfa[node]: if dfa[node][edge] not in new_nodes: new_nodes[dfa[node][edge]] = i i += 1 new_edges[edge] = new_nodes[dfa[node][edge]] full_dfa[new_nodes[node]] = new_edges if end_num in node: goals.add(new_nodes[node]) return full_dfa, goals end_num = init_first_last_pos() set_first_last_pos(formula) set_follow_pos(formula) set_dfa() dfa, goals = prettify_dfa(end_num) return dfa, goals """ trans.pass_trough_mona(formula) dfa = trans.read_dfa('dfa.txt') automata_IO.dfa_to_dot(dfa, 'eliminar.dfa', './')