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'))
