Edición de «Demostraciones (Teoría de Lenguajes)»
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 768: | Línea 768: | ||
=== Propiedades LR === | === Propiedades LR === | ||
'''Propiedad:''' Si L es LLCD ( | '''Propiedad:''' Si L es LLCD (??) y libre de prefijos, entonces existe una gramatica LR(0) que lo captura. | ||
'''Propiedad:''' Para todo lenguaje LLCD existe una gramatica LR(k) que lo representa. | '''Propiedad:''' Para todo lenguaje LLCD existe una gramatica LR(k) que lo representa. |