República Bolivariana de Venezuela Ministerio del Poder Popular para la Educación Superior Universidad Valle del Momboy Carvajal, Trujillo Alumnas Luzmila Garcia Yuriany Juárez Juana Morillo Jhessica Rivero

Gramática: Conjunto de reglas y principios que gobiernan el uso de una lengua concreta determinada; así, cada lengua tiene su propia gramática. Gramáticas Libres de Contexto (GIC o GLC) Es una estructura matemática con un conjunto de reglas de formación que definen las cadenas de caracteres admisibles. Ejemplo: G = (V, T, P, S) V: conjunto finito de Variables (símbolos no terminales) T: conjunto finito de símbolos Terminales (alfabeto terminal) P: conjunto finito de Producciones o Reglas (definición recursiva del lenguaje) S: Símbolo de Arranque o Inicial. Sus Características: Ausencia de ambigüedad Rigurosas Facilitan evaluación Hacer predicciones Desarrollo de aplicaciones.

Ejemplo de Lenguaje de GIC: L(g)= {x(yz) n /n>=1} Diseñe las producciones que permitan cumplir dicho lenguaje. Demostrar para el caso n=3 x(yz) + xyz xyzyz xyzyzyz GIC: Se usan para inferir si ciertas cadenas están en el Lenguaje expresado por la Gramática

Derivación (cabeza a cuerpo, expansión de producciones) Derivación Aplicación de las producciones de una Gramática para obtener una cadena de terminales. Consiste en sustituir la variable de la cabeza por el cuerpo de la producción. Símbolo empleado es: ⇒ (un paso de derivación) Árbol de Derivación: Muestra gráficamente como se puede derivar cualquier cadena de Lenguaje

Existen dos Tipos de Derivaciones: Derivación por la izquierda: las reglas de reemplazo son aplicadas a la primera variable de izquierda a derecha. Derivación por la derecha: las reglas de reemplazo son aplicadas a la última variable de derecha a izquierda.

Solución: G = (V, T, P, S)

Solución:

Una gramática es ambigua si permite construir dos o mas arboles de derivación distintos para la misma cadena, para demostrar que la gramática es ambigua lo único que se necesita es encontrar una cadena que tenga mas de un árbol de derivación. La multiplicidad de derivaciones no es la causa de la ambigüedad. La causa es la existencia de 2 o mas árboles de derivación para una cadena.

Solución: Una gramática es ambigua si tiene al menos una cadena w que tenga más de un árbol de derivación (o mas de una derivación izquierda o mas de una derivación derecha).

Solución:

Se denominan expresiones regulares sobre un alfabeto A, a las expresiones que se pueden construir a partir de las siguientes reglas: € es una expresión regular designada por {€}; es decir, el conjunto que contiene la cadena vacía. Si a es un símbolo ∑, entonces a es una expresión regular designada por {a}; por ejemplo, el conjunto que contiene la cadena a. aunque se usa la misma notación para las tres, técnicamente, la expresión regular a es distinta de la cadena o del símbolo a. el contexto aclara si se habla de a como expresión regular, cadena o símbolo. Suponiendo que r y s sean expresiones regulares representadas por los lenguajes L(r) y L(s), entonces,

Solución: (r)│(s) es una expresión regular representada por L(r) µ L(s). (r).(s) es una expresión regular que describe el lenguaje L(r)(s).

Solución:

Un lenguaje regular es un tipo de lenguaje formal que satisface las siguientes propiedades: Los lenguajes más sencillos que se considerarán son los lenguajes regulares, es decir, los que se pueden generar a partir de los lenguajes básicos, con la aplicación de las operaciones de unión, concatenación y * de Kleene un número finito de veces.

Solución:

Se puede considerar como una representación grafica de una derivación que no muestra la elección relativa al orden de sustitución. Cada nodo interior de un árbol de análisis sintáctico se etiqueta con algún NO terminal A, y que los hijos de ese nodo se etiquetan, de izquierda a derecha, con los símbolos del lado derecho de la producción por la cual se sustituyo esta A en la derivación. Las hojas del árbol de análisis sintácticos se etiquetan con Terminales o NO Terminales y, leídas de izquierda a derecha constituyen una forma de frase, llamada el producto o frontera del árbol.

Solución: