def testDadosDoisAFSabeSeElesSaoEquivalentes(self): afd1 = construirAFDComABOndeAsEhPar() afd2 = construirEquivalenteDoAFDComABOndeAsEhPar() self.assertTrue(util.sao_equivalentes_af(afd1, afd2))
def testDadosDoisAFSabeSeAF1EstaContidoEmAF2(self): afd1 = construirAFDComABOndeAsEhPar() afd2 = construirEquivalenteDoAFDComABOndeAsEhPar() self.assertTrue(util.esta_contido_af(afd1, afd2))