Edición de «Finales Virtuales Tleng: Marzo de 2021»
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 3: | Línea 3: | ||
== 01/03 == | == 01/03 == | ||
1) Si S es una GLC no Recursiva a izquierda. Entonces para | 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>. | ||
2) Considerar la siguiente forma normal de 3-Chomsky donde todas las producciones son de la forma | 2) Considerar la siguiente forma normal de 3-Chomsky donde todas las producciones son de la forma | ||
Línea 57: | Línea 57: | ||
c- Si un lenguaje es libre de contexto su complemento también | 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 |