Edición de «Finales Virtuales Tleng: Marzo de 2020»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 1: | Línea 1: | ||
Los finales virtuales consistieron de uno o dos ejercicios escritos que le eran asignados a cada persona que rendia particularmente, abajo estan la lista de preguntas que se tomaron en las distintas fechas. | Los finales virtuales consistieron de uno o dos ejercicios escritos que le eran asignados a cada persona que rendia particularmente, abajo estan la lista de preguntas que se tomaron en las distintas fechas. | ||
== | == Marzo == | ||
1) Si S es una GLC no Recursiva a izquierda. Entonces para toda producción A y B en S con A => Bα, la cantidad de pasos de derivación i está acotada por una constance c, es decir <math>i \leq c </math>. | 1) Si S es una GLC no Recursiva a izquierda. Entonces para toda producción A y B en S con A => Bα, la cantidad de pasos de derivación i está acotada por una constance c, es decir <math>i \leq c </math>. | ||
Línea 39: | Línea 39: | ||
Dar la complejidad computacional. | Dar la complejidad computacional. | ||
3) Dar un algoritmo que transforme cada gramatica libre de contexto G en otra G' que reconoce el mismo lenguaje pero es tal que si <math>X_1... X_k</math> es el lado derecho de una producción entonces | |||
todos los símbos <math>X_1..X_k</math> son distintos. | todos los símbos <math>X_1..X_k</math> son distintos. | ||
Línea 48: | Línea 46: | ||
Poner varios ejemplos | Poner varios ejemplos | ||
4) | |||
a) Determinar Verdadero o Falso y dar la demostración: | a) Determinar Verdadero o Falso y dar la demostración: | ||