def testSeOAFDJaEhMinimoRetornaOMesmo(self): afd_minimo = construirAFDMinimo() self.assertTrue(afd_minimo.ehMinimo()) self.assertEqual(afd_minimo, util.minimizar_afd(afd_minimo))
def testSabeSeEhMinimo(self): self.assertTrue(construirAFDMinimo().ehMinimo())