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  N)*,   (T  N)*-, 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, 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 aplican primera la regla que esta mas a la izquierda. Derivación por la derecha: las reglas de producción se aplican primero la regla que esta mas a la derecha Ejemplo: G = (N, , S, P) N = {S, A, a, b} T = {a, b} S = {S} P: S  AA A  AAA | bA | Ab | a 8

9 Sentencia de asignación de un lenguaje tipo Pascal: Sent_asig  Var := Expresion Expresion  Expresion + Termino | Expresion- Termino | Termino Termino  Termino * Factor | Termino / Factor | Factor Factor  ( Expresion ) | ident | num Var  ident 9