コード例 #1
0
 def testSabeSePossuiRecursaoAEsquerdaDireta(self):
   self.assertTrue(construirGLCExpAritmeticaComRecEsquerdaDireta().possuiRecursaoAEsquerda())
コード例 #2
0
ファイル: TesteUtil.py プロジェクト: katcipis/playground
 def testDadaUmaGLCComRecursaoAEsquerdaDiretaPodeRetornarUmaGLCSemRecursaoAEsquerda(self):
   glc_nok = construirGLCExpAritmeticaComRecEsquerdaDireta()
   self.assertTrue(glc_nok.possuiRecursaoAEsquerda())
   glc_nok = util.remover_recursao_esquerda_glc(glc_nok)
   self.assertFalse(glc_nok.possuiRecursaoAEsquerda())
コード例 #3
0
 def testSabeQuandoNaoDerivaEpsilon(self):
   self.assertEqual(set(), construirGLCExpAritmeticaComRecEsquerdaDireta().obterNaoTerminaisQueDerivamEpsilon())
   self.assertEqual(set(), construirGLCComRecEsquerdaIndireta().obterNaoTerminaisQueDerivamEpsilon())
   self.assertEqual(set(), construirGLCQueNaoProduzEpsilon().obterNaoTerminaisQueDerivamEpsilon())
コード例 #4
0
ファイル: TesteUtil.py プロジェクト: katcipis/playground
 def testDadaUmaGLCEpsilonLivreSeTransformarEmEpsilonLivreRetornaAMesmaGramatica(self):
   self.assertEqual(construirGLCComABOndeNumAsEhIgualNumBsEpsilonLivre(), util.transformar_em_epsilon_livre_glc(construirGLCComABOndeNumAsEhIgualNumBsEpsilonLivre()))
   self.assertEqual(construirGLCExpAritmeticaComRecEsquerdaDireta(), util.transformar_em_epsilon_livre_glc(construirGLCExpAritmeticaComRecEsquerdaDireta()))