C# (CSharp) ForGen AutomataConverter.reverseAutomata Examples

Example #1

File: Tester.cs Project: guusbeckett/ForGen

        public static Automata <String> testReverse(Automata <String> automata)
        {
            AutomataConverter c = new AutomataConverter();
            Automata <String> a = c.reverseAutomata(automata);

            return(a);
        }

Example #2

File: AutomataMinimalization.cs Project: guusbeckett/ForGen

        public Automata <String> Minimization(Automata <String> Automaton)
        {
            AutomataConverter c = new AutomataConverter();

            Automata <String> miniantwoord = c.NDFAToDFA(c.reverseAutomata(c.NDFAToDFA(c.reverseAutomata(Automaton))));

            return(c.renameStates(miniantwoord));
        }