Final del 17/09/10 (Teoría de Lenguajes)

De Cuba-Wiki
Revisión del 19:34 12 sep 2014 de Mauricio (discusión | contribs.) (Deshecha la revisión 9455 de Mauricio (disc.))
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

Plantilla:Back

1. (Escrito) Describir y demostrar la equivalencia entre AFND-L y AFND

2. (Escrito) Demostrar que existe un lenguaje LIC que no es LICD

3. (Escrito) Demostrar que todo LSC es recursivo

4. (Oral) Definir gramatica LR(k) (la definicion "nueva")