Ejemplo n.º 1
0
 def testDadosDoisAFSabeSeElesSaoEquivalentes(self):
   afd1 = construirAFDComABOndeAsEhPar()
   afd2 = construirEquivalenteDoAFDComABOndeAsEhPar()
   self.assertTrue(util.sao_equivalentes_af(afd1, afd2))
Ejemplo n.º 2
0
 def testDadosDoisAFSabeSeAF1EstaContidoEmAF2(self):
   afd1 = construirAFDComABOndeAsEhPar()
   afd2 = construirEquivalenteDoAFDComABOndeAsEhPar()
   self.assertTrue(util.esta_contido_af(afd1, afd2))