Ejemplo n.º 1
0
 def testPodeFornecerAsTransicoesQueExistemParaUmDeterminadoSimbolo(self):
   estado1 = Estado('q1', set([Transicao('a', 'q0'), Transicao('a', 'q1'),Transicao('b', 'q0')]), True, False)
   self.assertEqual(2, len(estado1.obterTransicoesPorSimbolo('a')))
   self.assertTrue(Transicao('a', 'q0') in estado1.obterTransicoesPorSimbolo('a'))
   self.assertTrue(Transicao('a', 'q1') in estado1.obterTransicoesPorSimbolo('a'))
   self.assertEqual(1, len(estado1.obterTransicoesPorSimbolo('b')))
   self.assertTrue(Transicao('b', 'q0') in estado1.obterTransicoesPorSimbolo('b'))
Ejemplo n.º 2
0
 def testSeNaoPossuiUmaTransicaoParaUmDeterminadoSimboloRetornaVazio(self):
   estado1 = Estado('q1', set([Transicao('a', 'q0'), Transicao('a', 'q1'),Transicao('b', 'q0')]), True, False)
   self.assertEqual(set(), estado1.obterTransicoesPorSimbolo('c'))