def testPodeObterUmEstadoAPartirDoSeuNome(self): estado_q0 = Estado('q0', set([Transicao('a', 'q0')]), True, False) estado_q1 = Estado('q1', set([Transicao('b', 'q0')]), False, True) automato = AutomatoFinito( alfabeto = set(['a', 'b']), estados = set([estado_q0,estado_q1])) self.assertEqual(estado_q0, automato.obterEstado('q0')) self.assertEqual(estado_q1, automato.obterEstado('q1'))
def testSeNaoExisteEstadoComNomeInformadoRetornaNone(self): estado_q0 = Estado('q0', set([Transicao('a', 'q0')]), True, False) automato = AutomatoFinito( alfabeto = set(['a', 'b']), estados = set([estado_q0])) self.assertEqual(None, automato.obterEstado('q1'))