Lines Matching refs:dfa

158             dfa = DFA.from_nfa(nfa)
160                 print("Dump of DFA for", dfa.name)
161                 dfa.dump()
162             dfa.simplify()
164                 dfa.dump_graph(self.graph_file.write)
165             rule_to_dfas[dfa.name] = dfa
168                 start_nonterminal = dfa.name
185             dfa = self.dfas[name]
187             for state in dfa:
191                     arcs.append((self.make_label(c, label), dfa.states.index(next)))
193                     arcs.append((0, dfa.states.index(state)))
281         dfa = self.dfas[name]
283         state = dfa.states[0]