Python construirAFDSemEstadosMortosOuInalcancaveis Beispiele

Beispiel #1

Datei: TesteUtil.py Projekt: 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()))

Beispiel #2

Datei: TesteAutomatoFinito.py Projekt: katcipis/playground

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