C# (CSharp) CharSetSolver.DeserializeAutomaton 예제들

예제 #1

파일: FiniteAutomataTests.cs 프로젝트: wellsoftware/Automata

        public void SerializeDeserializeTest()
        {
            CharSetSolver solver = new CharSetSolver();
            string        a      = @"^[A-Za-z0-9]{1,3}$"; //.Net regex
            //corresponding SFAs
            var    dfa     = solver.Convert(a);
            string ser     = solver.SerializeAutomaton(dfa);
            var    dfaback = solver.DeserializeAutomaton(ser);

            Assert.IsTrue(dfa.IsEquivalentWith(dfaback));
        }

예제 #2

파일: FiniteAutomataTests.cs 프로젝트: AutomataDotNet/Automata

        public void SerializeDeserializeTest()
        {
            CharSetSolver solver = new CharSetSolver();
            string a = @"^[A-Za-z0-9]{1,3}$"; //.Net regex
            //corresponding SFAs
            var dfa = solver.Convert(a);
            string ser = solver.SerializeAutomaton(dfa);
            var dfaback = solver.DeserializeAutomaton(ser);

            Assert.IsTrue(dfa.IsEquivalentWith(dfaback));
        }