def testSeOAFDJaEhCompletoRetornaOMesmo(self): afd_completo = construirAFDCompleto() self.assertEqual(afd_completo, util.completar_af(afd_completo))
def testDadoUmAFDImcompletoPodeGerarUmNovoAFDCompletoEquivalente(self): afd_imcompleto = construirAFDImcompleto() self.assertFalse(afd_imcompleto.ehCompleto()) afd_completo = util.completar_af(afd_imcompleto) self.assertTrue(afd_completo.ehCompleto()) self.assertTrue(util.sao_equivalentes_af(afd_imcompleto,afd_completo))