Python determinizar_af Examples

Example #1

File: AutomatoFinitoGUI.py Project: katcipis/playground

 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))

Example #2

File: AutomatoFinitoGUI.py Project: katcipis/playground

 def clicouMinimizar(self):
   try:
     af = self.obterAF()
     afd = util.determinizar_af(af)
     self.setarAF(util.minimizar_afd(afd))
     
   except Exception as excecao:
     self.mostrarErro(str(excecao))

Example #3

File: ExpressaoRegular.py Project: katcipis/playground

 def obterAFD(self):
   automato = self.__constroi_automato(self.__exp_reg)
   automato = util.determinizar_af(automato)
   automato = util.minimizar_afd(automato)
   return automato    

Example #4

File: TesteUtil.py Project: katcipis/playground

 def testDadoUmAFNDRetornaUmAFDEquivalente(self):
   self.assertFalse(self.afnd.ehDeterministico())
   afd = util.determinizar_af(self.afnd)
   self.assertTrue(afd.ehDeterministico())
   self.assertTrue(util.sao_equivalentes_af(self.afnd, afd))