Esempio n. 1
0
        static void Main(string[] args)
        {
            string word = "baabab";

            //*
            Console.WriteLine("--- AUTOMATA ---");
            Alphabet sigma = new Alphabet {
                "a", "b"
            };
            State  q0     = new State("q0");
            State  q1     = new State("q1", true);
            State  q2     = new State("q2");
            States states = new States {
                q0, q1, q2
            };
            Transitions transitions = new Transitions
            {
                { q0, "a", q1 },
                { q0, "b", q0 },
                { q0, "b", q1 },
                { q1, "a", q2 },
                { q1, "b", q2 },
                //{ q2, "b", q1 },
                { q2, "a", q0 }
            };
            NFA d = new NFA(states, sigma, q0, transitions);

            Console.WriteLine(d);
            Console.WriteLine($"Is deterministic: {d.IsDeterministic()}");
            DFA d1 = d.Determinize();

            Console.WriteLine(d1);
            Console.WriteLine($"Is deterministic: {d1.IsDeterministic()}");
            Console.WriteLine($"Contains word {word}: {d.ContainsWord(word)}");
            //*/
            //*
            Console.WriteLine("--- GRAMMARS ---");
            HashSet <string> NTS = new HashSet <string> {
                "S", "A", "B", "C"
            };
            Alphabet TS = new Alphabet {
                "a", "b", "c"
            };
            Rules rules = new Rules
            {
                { new RuleSide("S"), new RuleSide("A", "B") },
                { new RuleSide("S"), new RuleSide("a", "b", "C") },
                { new RuleSide("S"), new RuleSide("B") },
                { new RuleSide("A"), new RuleSide("C") },
                { new RuleSide("A"), new RuleSide("a", "a") },
                { new RuleSide("A"), new RuleSide("a", "A", "B") },
                { new RuleSide("B"), new RuleSide("b") },
                { new RuleSide("B"), new RuleSide("B", "B", "S") },
                { new RuleSide("C"), new RuleSide("B") },
                { new RuleSide("C"), new RuleSide("c", "c") }
            };
            CFG g = new CFG(NTS, TS, "S", rules);

            Console.WriteLine(g);
            Console.WriteLine($"Is in CNF: {g.IsInCNF()}");
            g.CNF();
            Console.WriteLine(g);
            Console.WriteLine($"Is in CNF: {g.IsInCNF()}");
            Console.WriteLine($"Contains word {word}: {g.ContainsWord(word)}");
            //*/
        }