Exemplos de construirAFDSemEstadosMortosOuInalcancaveis em Python

Exemplo n.º 1

Arquivo: TesteUtil.py Projeto: katcipis/playground

 def testSeTodosOsEstadosSaoVivosNaoRemoveEstadoAlgum(self):
   afd_novo = util.remover_estados_mortos_afd(construirAFDSemEstadosMortosOuInalcancaveis())
   self.assertEqual(len(afd_novo.obterEstados()), len(construirAFDSemEstadosMortosOuInalcancaveis().obterEstados()))
   self.assertTrue(util.sao_equivalentes_af(afd_novo,construirAFDSemEstadosMortosOuInalcancaveis()))

Exemplo n.º 2

Arquivo: TesteAutomatoFinito.py Projeto: katcipis/playground

 def testSeNaoPossuiEstadosMortosRetornaUmConjuntoVazio(self):
   automato = construirAFDSemEstadosMortosOuInalcancaveis()
   self.assertEqual(set(), automato.obterEstadosMortos())