def testDadoUmAFDNaoMinimoGeraUmAFDMinimoEquivalente(self): afd_nao_minimo = construirAFDNaoMinimo() self.assertFalse(afd_nao_minimo.ehMinimo()) afd_minimo = util.minimizar_afd(afd_nao_minimo) self.assertTrue(afd_minimo.ehMinimo()) self.assertTrue(util.sao_equivalentes_af(afd_nao_minimo,afd_minimo))
def testSabeSeNaoEhMinimo(self): self.assertFalse(construirAFDNaoMinimo().ehMinimo())