Python construirAFDSemEstadosMortosOuInalcancaveisの例

コード例 #1

ファイル: TesteUtil.py プロジェクト: 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()))

コード例 #2

ファイル: TesteAutomatoFinito.py プロジェクト: katcipis/playground

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