def clicouTransformarGR(self): try: af = self.obterAF() af = util.determinizar_af(af) self._janela_principal.obterGRGUI().setarGR(util.obter_gramatica_regular(af)) except Exception as excecao: self.mostrarErro(str(excecao))
def clicouTransformarEmGR(self): try: exp = ExpressaoRegular(str(self.__ui.exp_reg.text())) afd = exp.obterAFD() afd = util.remover_estados_mortos_afd(afd) self.__janela_principal.obterGRGUI().setarGR(util.obter_gramatica_regular(afd)) except Exception as excecao: self._error.showMessage(str(excecao))
def testPodeSalvarECarregarUmaGramaticaRegularDoDisco(self): gr1 = util.obter_gramatica_regular(construirAFDComABOndeBsEhImpar()) util.salvar(gr1, os.path.join(os.getcwd(), 'teste.gr')) gr2 = util.carregar(os.path.join(os.getcwd(), 'teste.gr')) self.assertTrue(util.sao_equivalentes_af(util.obter_afd(gr1), util.obter_afd(gr2)))
def testDadoUmAFDSabeQualEhASuaGramaticaRegularCorrespondenteQuandoAFDNaoProduzEpsilon(self): gr1 = util.obter_gramatica_regular(construirAFDComABOndeBsEhImpar()) afd1 = util.obter_afd(gr1) afd2 = construirAFDComABOndeBsEhImpar() self.assertTrue(util.sao_equivalentes_af(afd1, afd2))
def testDadoUmAFDQueGeraApenasUmSimboloSabeQualEhASuaGramaticaRegularCorrespondente(self): gr1 = util.obter_gramatica_regular(construirAFDQueGeraOSimboloA()) afd1 = util.obter_afd(gr1) afd2 = construirAFDQueGeraOSimboloA() self.assertTrue(util.sao_equivalentes_af(afd1, afd2))