GRAMÁTICAS Y LENGUAJES LIBRES DE CONTEXTO

1. ¿Qué es una Gramática?

Es una manera de restringir la forma de las reglas gramaticales de manera a que se acomoden a
patrones predeterminados., con esto también se restringen las palabras que se pueden generar y
con esto poder lograr leguajes más reducidos.

2. Jerarquía de Chomsky

Gramática Descripción Tipo de Lenguaje

Regular, tipo 3 Donde A y B son variables y a es una Tipo 3: A → aB
constante. Son capaces de describir a los
lenguajes regulares
Libre de Contexto, Donde X es una variable y α es una Tipo 2: X →α
tipo 2 cadena que puede contener variables y
constantes.
Sensitivas al Donde A es una variable y α,β y T son Tipo 1: αAβ → αTβ
contexto, tipo 1 cadenas cualesquiera que puedan
contener variables y constantes
No restringidas, Donde α no puede ser vacio, generan los Tipo 0: α→β
tipo 0 lenguajes recursivamente enumerables

3. Formalización de las Gramáticas Libres de Contexto (GLC)

¿Cuál es la definición formal de la siguiente GLC?

A  0A1
({A},{0,1},{(A,01)},A)

AB
({A},{B},{(B)},A)

B#
({B},{#},{(#)},B)

4. Errores al diseñar GLC

Error Descripción
Gramática incorrecta Es el caso que sobren palabras, que la gramática genere palabras que
no debería generar
Gramática incompleta Que haya palabras en el lenguaje considerado para las que no hay
derivación, en este caso faltan palabras.
 5. Diseño de GLC

Forma de Diseñar Explicación sintética

Adaptación de GLC Para este caso debemos partir de una
gramática que hemos visto anteriormente, y
luego es necesario prever alguna regla para
producir la palabra que estamos buscando

GLC para unión de lenguajes
Mezcla de Gramáticas
Los lenguajes pueden ser expresados en forma
útil como la unión de otros lenguajes, para
estos lenguajes que se unen es fácil obtener
una gramática. Para realizar la unión se crea un
nuevo símbolo inicial y se toman las gramáticas
de una como de otra
Es similar a la unión, pero permite que las
gramáticas que se combinan que tengan un
mismo símbolo inicial

GLC para concatenación de lenguajes Para obtener las reglas de la nueva gramática,
simplemente juntamos las originales S1 y S2 y
agregamos S → S1S2, haciendo también a S el
nuevo símbolo inicial