Python obter_complemento_afの例

コード例 #1

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

 def testDadoUmAFDSabeQualSeuComplemento(self):
   afd1 = construirAFDComABOndeAsEhPar()
   afd2 = construirComplementoDoAFDComABOndeAsEhPar()
   complemento = util.obter_complemento_af(afd1)
   self.assertEqual(afd2.obterEstados(), complemento.obterEstados())
   self.assertEqual(afd2.obterEstadosFinais(), complemento.obterEstadosFinais())
   self.assertEqual(afd2.obterEstadoInicial(), complemento.obterEstadoInicial())

コード例 #2

ファイル: 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())