Gramáticas Otoño2012. Importancia de las gramáticas 2 Son una herramienta muy poderosa para describir y analizar lenguajes.

Presentación del tema: "Gramáticas Otoño2012. Importancia de las gramáticas 2 Son una herramienta muy poderosa para describir y analizar lenguajes."— Transcripción de la presentación:

1 Gramáticas Otoño2012

2 Importancia de las gramáticas 2 Son una herramienta muy poderosa para describir y analizar lenguajes.

3 3 Frase  Sujeto Predicado Sujeto  Articulo Nombre Predicado  Verbo Adverbio Articulo  el │la Nombre  perro │gata Verbo  está Adverbio  cerca │lejos

4 Definición 4

5 Jerarquía de Chomsky 5 G3  G2  G1  G0G3  G2  G1  G0

6 Descripción de las gramáticas Gramáticas Regulares (tipo 3 o G 3 ): El lado izquierdo consiste sólo de una variable. El lado derecho consiste de Un símbolo terminal seguido de una variable ó Sólo un símbolo terminal ó La cadena vacía. Ejemplo: A  aB | a | Gramáticas Libres de Contexto, GLC, (tipo 2 o G 2 ): El lado izquierdo consiste sólo de una variable. No hay restricciones para el lado derecho. Ejemplo: S  aSb | ab | 6

7 Gramáticas Sensitivas al Contexto (tipo 1 o G 1 ):las reglas son de la forma  A    donde , ,   T y A  N  S, es decir, A es un símbolo no terminal. Además, las reglas son no-contractivas, es decir, la longitud del lado izquierdo es menor o igual a la longitud del lado derecho. Esta propiedad de no-contracción garantiza que un lenguaje sensitivo al contexto no contiene. Ejemplos: S  abc | aAbcAb  bAAc  Bbcc bB  BbaB  aa | aaA Gramáticas sin restricción (tipo 0 o G 0 ): el conjunto de reglas donde no hay restricciones para las reglas, excepto que el lado izquierdo no es. Ejemplos: S  aSBC | aBCCB  BCaB  ab bB  bbbC  bccC  ccA  bc 7 Descripción de las gramáticas

8 Operaciones sobre Gramáticas: Derivaciones Derivación por la izquierda: las reglas de producción se aplica primero al símbolo no terminal que esta mas a la izquierda. Derivación por la derecha: las reglas de producción se aplican primera al símbolo no terminal que esta mas a la derecha. 8

9 Ejercicio: Hacer la Derivación Izquierda y Derivación Derecha para la entrada: “decl id (decl [ decl id ; ] id ;); id ;” P  D S D  D V D  ε S  S N S  ε V  decl id ; V  decl id ( P ) ; V  decl [ D ] id ; N  id ; N  begin P end 9