public static DFSM MinimizeDFSM(DFSM fsm)
{
var reversedNDFSM = Reverse(fsm);
var reversedDFSM = PowersetConstruction(reversedNDFSM);
var NDFSM = Reverse(reversedDFSM);
return(PowersetConstruction(NDFSM));
}
private static NDFSM Reverse(DFSM d)
{
var delta = new List <Transition>();
foreach (var transition in d.Delta)
{
delta.Add(new Transition(transition.EndState, transition.Symbol, transition.StartState));
}
return(new NDFSM(d.Q, d.Sigma, delta, d.F, d.Q0));
}
private static void Main(string[] args)
{
var Q = new List <string> {
"q0", "q1"
};
var Sigma = new List <char> {
'0', '1'
};
var Delta = new List <Transition> {
new Transition("q0", '0', "q0"),
new Transition("q0", '1', "q1"),
new Transition("q1", '1', "q1"),
new Transition("q1", '0', "q0")
};
var Q0 = new List <string> {
"q0"
};
var F = new List <string> {
"q0", "q1"
};
var DFSM = new DFSM(Q, Sigma, Delta, Q0, F);
var minimizedDFSM = Minimize.MinimizeDFSM(DFSM);
}
