public void NfaCanAddValidFinalState() { Tuple <int, int> final = Tuple.Create(1, 0); _nfa.AddFinalState(final); AutomataState expected = new AutomataState(final); Assert.AreEqual(expected, _nfa.FinalStates); }