Esempio n. 1
0
 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))
Esempio n. 2
0
 def testSabeSeNaoEhMinimo(self):
   self.assertFalse(construirAFDNaoMinimo().ehMinimo())