Ejemplo n.º 1
0
  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))
Ejemplo n.º 2
0
 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()))
Ejemplo n.º 3
0
 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))
Ejemplo n.º 4
0
 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)