Beispiel #1
0
        public void Check110Returns0()
        {
            var finalStates = new List <State>
            {
                State.S0,
                State.S1,
                State.S2
            };

            var finiteAutomaton = new FiniteAutomaton(State.S0, finalStates);

            finiteAutomaton.CreateTransition(State.S0, 0, State.S0);
            finiteAutomaton.CreateTransition(State.S0, 1, State.S1);
            finiteAutomaton.CreateTransition(State.S1, 0, State.S2);
            finiteAutomaton.CreateTransition(State.S1, 1, State.S0);
            finiteAutomaton.CreateTransition(State.S2, 0, State.S1);
            finiteAutomaton.CreateTransition(State.S2, 1, State.S2);

            var input = "110";

            bool result = finiteAutomaton.ProcessInput(input);

            Assert.IsTrue(result, "Resulting state of input " + input + "should be part of the set of final states");
            Assert.AreEqual(finiteAutomaton.GetCurrentState(), State.S0, "Remainder of " + input + " should be 0");
            finiteAutomaton.ResetState();
            Assert.AreEqual(finiteAutomaton.GetCurrentState(), State.S0, "FSA should be reset back to state 0");
        }
Beispiel #2
0
        public void CheckResultStateNotFinal()
        {
            var finalStates = new List <State>
            {
                State.S0,
            };

            var finiteAutomaton = new FiniteAutomaton(State.S0, finalStates);

            finiteAutomaton.CreateTransition(State.S0, 1, State.S1);

            var input = "1";

            bool result = finiteAutomaton.ProcessInput(input);

            Assert.IsFalse(result, "1 is not in the set of final states, therefore result should be false");
            finiteAutomaton.ResetState();
            Assert.AreEqual(finiteAutomaton.GetCurrentState(), State.S0, "FSA should be reset back to state 0");
        }