From acbbce769c19a90a0a14ffb4025b849e1bd973ab Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Fri, 27 Oct 2017 09:17:10 -0400 Subject: [PATCH] nitcc: generate more intermediate automaton Signed-off-by: Jean Privat --- contrib/nitcc/src/nitcc.nit | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/contrib/nitcc/src/nitcc.nit b/contrib/nitcc/src/nitcc.nit index 3456690..a54044b 100644 --- a/contrib/nitcc/src/nitcc.nit +++ b/contrib/nitcc/src/nitcc.nit @@ -112,8 +112,15 @@ f.close var nfa = v2.nfa print "NFA automaton: {nfa.states.length} states (see {name}.nfa.dot)" nfa.to_dot.write_to_file("{name}.nfa.dot") +var nfanoe = nfa.to_nfa_noe +nfanoe.to_dot.write_to_file("{name}.nfanoe.dot") +print "NFA automaton without epsilon: {nfanoe.states.length} states (see {name}.nfanoe.dot)" -var dfa = nfa.to_dfa.to_minimal_dfa +var dfa = nfa.to_dfa +dfa.to_dot.write_to_file("{name}.dfanomin.dot") +print "DFA automaton (non minimal): {dfa.states.length} states (see {name}.dfanomin.dot)" + +dfa = dfa.to_minimal_dfa dfa.solve_token_inclusion -- 1.7.9.5