Finales Virtuales Tleng: Marzo de 2021

De Cuba-Wiki

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.

01/03

1) Si S es una GLC no Recursiva a izquierda. Entonces para todo par de no terminales A y B en S con una derivación más a la izquierda, la cantidad de pasos de derivación i está acotada por una constante c, es decir .

2) Considerar la siguiente forma normal de 3-Chomsky donde todas las producciones son de la forma

No se permiten producciones

donde A, B, C, D son no terminales, a es terminal. Entonces son 3-Chomsky

No son 3-Chomsky

tampoco es 3-Chmsky

tampoco es 3-Chomsky

Dar un algoritmo que pase una gramatica libre de contexto a forma normal 3-Chomsky.

Dar la complejidad computacional.

04/03

1) Dar un algoritmo que transforme cada gramatica libre de contexto G en otra G' que reconoce el mismo lenguaje pero es tal que si es el lado derecho de una producción entonces todos los símbos son distintos.

Justificar la correctitud y Dar la complejidad del algoritmo

Poner varios ejemplos

2) a) Determinar Verdadero o Falso y dar la demostración:

a- Para todo automata de pila no deterministico existe otro deterministico equivalente, es decir, que reconoce exactamente el mismo lenguaje.

b- Para todo automata de pila deterministico existe otro equivalente que siempre consume toda la entrada.

c- Si un lenguaje es libre de contexto su complemento también

b) Determinar Verdadero o Falso y dar la demostración:

a- Para todo automata de pila no deterministico existe otro deterministico equivalente, es decir, que reconoce exactamente el mismo lenguaje.

b- Para todo automata de pila deterministico existe otro equivalente que siempre consume toda la entrada.

c- Si un lenguaje es libre de contexto su complemento también

3) Dar un algoritmo que transforme cada gramatica libre de contexto G sin producciones A-> lambda en otra G' que reconoce el mismo lenguaje pero tal que cada producción es de la forma A-> a alpha, con a un símbolo terminal y alpha una cadena de no-terminales.

Justificar la correctitud y Dar la complejidad del algoritmo

Poner ejemplos

Ayuda: pensar en el algoritmo de eliminiacion de la recursión