Lines Matching refs:dfa
38 dfa = self.dfas[name]
40 for state in dfa:
43 arcs.append((self.make_label(c, label), dfa.index(next)))
45 arcs.append((0, dfa.index(state)))
116 dfa = self.dfas[name]
118 state = dfa[0]
158 dfa = self.make_dfa(a, z)
160 oldlen = len(dfa)
161 self.simplify_dfa(dfa)
162 newlen = len(dfa)
163 dfas[name] = dfa
221 def dump_dfa(self, name, dfa): argument
223 for i, state in enumerate(dfa):
226 print(" %s -> %d" % (label, dfa.index(next)))
228 def simplify_dfa(self, dfa): argument
238 for i, state_i in enumerate(dfa):
239 for j in range(i+1, len(dfa)):
240 state_j = dfa[j]
243 del dfa[j]
244 for state in dfa: