Пример #1
0
 def testSeOAFDJaEhMinimoRetornaOMesmo(self):
   afd_minimo =  construirAFDMinimo()
   self.assertTrue(afd_minimo.ehMinimo())
   self.assertEqual(afd_minimo, util.minimizar_afd(afd_minimo))
Пример #2
0
 def testSabeSeEhMinimo(self):
   self.assertTrue(construirAFDMinimo().ehMinimo())