def __constroi_automato(self, exp_reg):
if(self.__ehOperador(exp_reg[0])):
msg = 'Expressao mal formada, esperando um simbolo mas encontrou um operador[{0}]'
msg = msg.format(exp_reg[0])
raise ErroConstruindoAFD(msg)
if(exp_reg[0] == ')'):
msg = 'Expressao mal formada, esperando um simbolo mas encontrou )'
raise ErroConstruindoAFD(msg)
if(exp_reg[0] == '('):
i = self.__obterIndiceDoEncerramentoDoPrimeiroParentesis(exp_reg)
sub = exp_reg[1:i] #De depois do ( ateh antes do )
exp_reg = exp_reg[i+1:] #De depois do ) ate o final da string.
automato = self.__constroi_automato(sub)
if(exp_reg == ''):
return automato
else:
if(exp_reg[0] == EPSILON):
automato = util.gerar_automato_finito_epsilon()
else:
automato = util.gerar_automato_finito(exp_reg[0])
exp_reg = exp_reg[1:]
if(exp_reg == ''):
return automato
if(exp_reg[0] == ExpressaoRegular.operadorFechamentoReflexivo):
automato = util.obter_fechamento_reflexivo_af(automato)
exp_reg = exp_reg[1:]
if(exp_reg == ''):
return automato
if(exp_reg[0] == ExpressaoRegular.operadorFechamentoPositivo):
automato = util.obter_fechamento_positivo_af(automato)
exp_reg = exp_reg[1:]
if(exp_reg == ''):
return automato
if(exp_reg[0] == ExpressaoRegular.operadorInterrogacao):
epsilon = util.gerar_automato_finito_epsilon()
automato = util.unir_af(automato, epsilon)
exp_reg = exp_reg[1:]
if(exp_reg == ''):
return automato
if(exp_reg[0] == ExpressaoRegular.operadorOU):
return util.unir_af(automato, self.__constroi_automato(exp_reg[1:]))
if(exp_reg[0] == ExpressaoRegular.operadorE):
return util.concatenar_af(automato, self.__constroi_automato(exp_reg[1:]))
return util.concatenar_af(automato, self.__constroi_automato(exp_reg))
def testDadoAConcatenacaoDeDoisAFSeOInicialDoSegundoNaoEhFinalOsFinaisDoPrimeiroDeixamDeSerFinais(self): afd1 = construirAFDComABOndeAsEhPar() afd2 = construirAFDComABOndeBsEhImpar() self.assertFalse(afd2.obterEstadoInicial().ehFinal()) afd1afd2 = util.concatenar_af(afd1, afd2) finais_antigos_len = len(afd1.obterEstadosFinais()) + len(afd2.obterEstadosFinais()) self.assertTrue(finais_antigos_len > len(afd1afd2.obterEstadosFinais()))
def testConcatenarDoisAutomatosQueGeramEpsilonGeraOMesmoAutomato(self): afd = util.gerar_automato_finito_epsilon() afd2 = util.concatenar_af(util.gerar_automato_finito_epsilon(), util.gerar_automato_finito_epsilon()) self.assertTrue(util.sao_equivalentes_af(afd, afd2))
def testDadoDoisAFPodeConcatenalos(self): afd1 = construirAFDComABOndeAsEhPar() afd2 = construirAFDComABOndeBsEhImpar() afd1afd2 = util.concatenar_af(afd1, afd2) estados_antigos = len(afd1.obterEstados()) + len(afd2.obterEstados()) self.assertEqual(len(afd1afd2.obterEstados()), estados_antigos)