예제 #1
0
 def testDadoUmaProducaoQueNaoEhDaGramaticaRetornaNoneAoTentarObterNaoTerminaisDoBeta(self):
   vn = set(['S', 'V'])
   vt = set(['a', 'b', 'c'])
   s = 'S'
 
   producoes = set()
   producoes.add(Producao('S', 'a S V b'))
   producoes.add(Producao('S', EPSILON))
   
   glc1 = Gramatica(producoes, vn,vt,s)
   self.assertEqual(None, glc1.obterNaoTerminaisDoBeta(Producao('S', 'S V b')))
예제 #2
0
 def testDadoUmaProducaoDaGramaticaSabeInformarQuaisSaoOsNaoTerminaisExistentesNoBeta(self):
   vn = set(['S', 'V'])
   vt = set(['a', 'b', 'c'])
   s = 'S'
 
   producoes = set()
   producoes.add(Producao('S', 'a S V b'))
   producoes.add(Producao('S', EPSILON))
   
   glc1 = Gramatica(producoes, vn,vt,s)
   self.assertEqual(set(['S','V']), glc1.obterNaoTerminaisDoBeta(Producao('S', 'a S V b')))
예제 #3
0
 def testDadoUmaProducaoDaGramaticaSeNaoPossuiNaoTerminaisNoBetaRetornaVazioAoTentarObtelos(self):
   vn = set(['S', 'V'])
   vt = set(['a', 'b', 'c'])
   s = 'S'
 
   producoes = set()
   producoes.add(Producao('S', 'a S V b'))
   producoes.add(Producao('S', EPSILON))
   
   glc1 = Gramatica(producoes, vn,vt,s)
   self.assertEqual(set(), glc1.obterNaoTerminaisDoBeta(Producao('S', EPSILON)))