Exemplo n.º 1
0
 def testSeOAFDJaEhMinimoRetornaOMesmo(self):
   afd_minimo =  construirAFDMinimo()
   self.assertTrue(afd_minimo.ehMinimo())
   self.assertEqual(afd_minimo, util.minimizar_afd(afd_minimo))
Exemplo n.º 2
0
 def testSabeSeEhMinimo(self):
   self.assertTrue(construirAFDMinimo().ehMinimo())