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);
}
