Python construirAFDImcompletoの例

コード例 #1

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

 def testDadoUmAFDImcompletoPodeGerarUmNovoAFDCompletoEquivalente(self):
   afd_imcompleto = construirAFDImcompleto()
   self.assertFalse(afd_imcompleto.ehCompleto())
   afd_completo = util.completar_af(afd_imcompleto)
   self.assertTrue(afd_completo.ehCompleto())
   self.assertTrue(util.sao_equivalentes_af(afd_imcompleto,afd_completo))

コード例 #2

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

 def testSeTentarObterClassesDeEquivalenciaDeUmAFDImcompletoDisparaUmaExcecaoDeOperacaoIlegal(self):
   afd_imcompleto = construirAFDImcompleto()
   self.assertRaises(AFOperacaoIlegal, afd_imcompleto.obterClassesDeEquivalencia)

コード例 #3

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

 def testComplementoSempreEhUmAFDCompleto(self):
   afnd1 = construirAFDImcompleto()
   self.assertFalse(afnd1.ehCompleto())
   complemento = util.obter_complemento_af(afnd1)
   self.assertTrue(complemento.ehDeterministico())
   self.assertTrue(complemento.ehCompleto())

コード例 #4

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

 def testSabeSeEhImcompleto(self):
   self.assertFalse(construirAFDImcompleto().ehCompleto())