def test():
re = generateRE()
terminal_table = r2n.getAllTerminals(re)
nfa = r2n.re2nfa(re)
public.storeAsJPG(nfa.graph, 'nfa')
transition_table, all_sets, acceptable_states = constructTransitionTable(terminal_table, nfa)
dfa, reverse = constructDFA(transition_table, all_sets, acceptable_states)
public.storeAsJPG(dfa.graph, 'dfa')
def judge(re, string):
nfa = r2n.re2nfa(re)
terminals = r2n.getAllTerminals(re)
transition_table, all_states, acceptable_states = n2d.constructTransitionTable(terminals, nfa)
dfa, reverse_table = n2d.constructDFA(transition_table, all_states, acceptable_states)
min_dfa, min_reverse_table = mdfa.constructMinDFA(transition_table, all_states, dfa.first, dfa.last, terminals)
return traversal_judge(min_dfa, min_reverse_table, string)
def test():
re = generateRE()
terminal_table = r2n.getAllTerminals(re)
nfa = r2n.re2nfa(re)
public.storeAsJPG(nfa.graph, 'nfa')
transition_table, all_sets, acceptable_states = constructTransitionTable(
terminal_table, nfa)
dfa, reverse = constructDFA(transition_table, all_sets, acceptable_states)
public.storeAsJPG(dfa.graph, 'dfa')
def test():
re = generateRE.generateRE()
nfa = r2n.re2nfa(re)
public.storeAsJPG(nfa.graph, 'nfa')
terminals = r2n.getAllTerminals(re)
transition_table, all_states, acceptable_states = n2d.constructTransitionTable(terminals, nfa)
dfa, reverse_table = n2d.constructDFA(transition_table, all_states, acceptable_states)
public.storeAsJPG(dfa.graph, 'dfa')
mindfa, min_reverse_table = constructMinDFA(transition_table, all_states, dfa.first, dfa.last, terminals)
public.storeAsJPG(mindfa.graph, 'min_dfa');
