Esempio n. 1
0
 def testSeOAFDJaEhCompletoRetornaOMesmo(self):
   afd_completo = construirAFDCompleto()
   self.assertEqual(afd_completo, util.completar_af(afd_completo))
Esempio n. 2
0
 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))