Diferencia entre revisiones de «Final del 26/07/16 (Teoría de Lenguajes)»
De Cuba-Wiki
(Página creada con «Escrito, tomado por Verónica Becher == Ejercicio 1 == Demostrar un teorema de autómatas/lenguajes (a elección) == Ejercicio 2 == Usando Pumping para gramáticas libres...») |
|||
| Línea 9: | Línea 9: | ||
== Ejercicio 3 == | == Ejercicio 3 == | ||
Elegir entre explicar: | Elegir entre explicar: | ||
a) Gramáticas de atributos (En el final de la semana anterior era first/follow) | a) Gramáticas de atributos (En el final de la semana anterior era first/follow) | ||
b) Algoritmo CYK | b) Algoritmo CYK | ||
c) Algoritmo Early | c) Algoritmo Early | ||
Revisión actual - 23:47 26 jul 2016
Escrito, tomado por Verónica Becher
Ejercicio 1
Demostrar un teorema de autómatas/lenguajes (a elección)
Ejercicio 2
Usando Pumping para gramáticas libres de contexto, dar un algoritmo para decidir si el lenguaje reconocido por un autómata de pila es vacío. (En el final de la semana anterior era lo mismo pero había que decir si era infinito)
Ejercicio 3
Elegir entre explicar:
a) Gramáticas de atributos (En el final de la semana anterior era first/follow)
b) Algoritmo CYK
c) Algoritmo Early
