예제 #1
0
 def setUp(self):
   self.afnd = construirAFND()
   self.afd_um_estado_inalcancavel = construirAFDComUmEstadoInalcancavel()
   self.afd_um_estado_morto = construirAFDComUmEstadoMorto()
예제 #2
0
 def testAFNDNaoReconhecePalavra(self):
   afnd = construirAFND()
   self.assertRaises(AFOperacaoIlegal, afnd.reconhecePalavra, 'qualquer')
예제 #3
0
 def testComplementoSempreEhUmAFD(self):
   afnd1 = construirAFND()
   self.assertFalse(afnd1.ehDeterministico())
   complemento = util.obter_complemento_af(afnd1)
   self.assertTrue(complemento.ehDeterministico())
예제 #4
0
 def testSeTentarObterClassesDeEquivalenciaDeUmAFNDDisparaUmaExcecaoDeOperacaoIlegal(self):
   afnd = construirAFND()
   self.assertRaises(AFOperacaoIlegal, afnd.obterClassesDeEquivalencia)