Ejemplo n.º 1
0
        public void NfaCanAddValidFinalState()
        {
            Tuple <int, int> final = Tuple.Create(1, 0);

            _nfa.AddFinalState(final);

            AutomataState expected =
                new AutomataState(final);

            Assert.AreEqual(expected, _nfa.FinalStates);
        }