def setUp(self): self.afnd = construirAFND() self.afd_um_estado_inalcancavel = construirAFDComUmEstadoInalcancavel() self.afd_um_estado_morto = construirAFDComUmEstadoMorto()
def testAFNDNaoReconhecePalavra(self): afnd = construirAFND() self.assertRaises(AFOperacaoIlegal, afnd.reconhecePalavra, 'qualquer')
def testComplementoSempreEhUmAFD(self): afnd1 = construirAFND() self.assertFalse(afnd1.ehDeterministico()) complemento = util.obter_complemento_af(afnd1) self.assertTrue(complemento.ehDeterministico())
def testSeTentarObterClassesDeEquivalenciaDeUmAFNDDisparaUmaExcecaoDeOperacaoIlegal(self): afnd = construirAFND() self.assertRaises(AFOperacaoIlegal, afnd.obterClassesDeEquivalencia)