private static IFsm MakeNfa(Expr expr) { var fsm = ExprFsmBuilder.BuildFsm(expr, MakeNfa); fsm.SaveGraphToFile(@"c:\temp\outNFA.dgml"); return(fsm); }
private static IFsm MakeMDfa(Expr expr) { var fsm = ExprFsmBuilder.BuildFsm(expr, MakeMDfa); var fsm2 = fsm.RemoveEmptyTransitions(); var fsm3 = fsm2.MakeDFA(); var fsm4 = fsm3.MinimizeDFA(); return(fsm4); }
private static IFsm MakeDfa(Expr expr) { var fsm = ExprFsmBuilder.BuildFsm(expr, MakeDfa); var fsm2 = fsm.RemoveEmptyTransitions(); var fsm3 = fsm2.MakeDFA(); fsm3.SaveGraphToFile(@"c:\temp\outDFA.dgml"); return(fsm3); }