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

Slides:



Advertisements
Presentaciones similares
ÁRBOLES DE SINTAXIS ÁRBOL grafo dirigido acíclico.
Advertisements

GRAMATICA LIBRE DE CONTEXTO
Análisis Sintáctico Ascendente
Análisis Sintáctico Predictivo No Recursivo
INSTITUTO TECNOLÓGICO DE MINATITLÁN
Filminas Segunda semana
Filminas Octava Semana CI-1322 Autómatas y Compiladores Elaborado por: Sergio Pastrana Espinoza A33888.
Compiladores e intérpretes Análisis Sintáctico II
Compiladores e intérpretes
Gramáticas, lenguajes y reconocedores
Gramáticas Libres de Contexto
Conceptos básicos Def. Un símbolo es cualquier carácter imprimible.
Autómatas de pila (Pushdown automata)
Gramáticas.
Lenguajes y Expresiones Regulares
TIPOS DE GRAMATICAS JERARQUIAS DE CHOMSKY
Tema 2.- Gramáticas independientes de contexto.
Tema 3 Propiedades de los lenguajes independientes de contexto
¿Cómo hacer para que una máquina comprenda el LN?
Organización de Lenguajes y Compiladores 1
ANALIZADOR SINTACTICO
Unidad 2. Análisis léxico
Tema 2 Autómatas finitos 1. Autómata finito determinista
Tema 1.- Lenguajes. Gramáticas
ANALISIS SINTACTICO DESCENDENTE
EJERCICIOS DE EXPRESIONES REGULARES Y AUTOMATAS
2º curso Ingeniería Técnica en Informática de Sistemas UNED
El análisis sintáctico
La estructura de la oración Sintaxix Luis Villaseñor Pineda Laboratorio de Tecnologías del Lenguaje Coordinación de Ciencias Computacionales, Instituto.
Teoría de lenguajes y compiladores
Tema 1.- Lenguajes. Gramáticas
Tema 2 Lenguajes Formales.
Introducción a la Teoría de Lenguajes Preparado por Manuel E. Bermúdez, Ph.D. Profesor Asociado University of Florida Curso de Compiladores.
Algoritmos para calcular el Conjunto Primero y el Conjunto Siguiente
Programación de sistemas
Lenguajes Independientes del Contexto
Autómatas de Pila Teoría del Autómata.
ANALISIS SINTACTICO Parte I
Gramáticas Otoño2012. Importancia de las gramáticas 2 Son una herramienta muy poderosa para describir y analizar lenguajes.
Teoría de lenguajes y compiladores
Todo traductor esta basado en una gramática para el lenguaje fuente. Todo traductor esta basado en una gramática para el lenguaje fuente. Una gramática.
Teoría de lenguajes y compiladores Analizadores lexicográficos
Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.
MÁQUINAS DE TURING Teoría del Autómata.
Compiladores e intérpretes
COMPUTABILIDAD Y COMPLEJIDAD 1. Conceptos básicos (revisión). 2. Gramáticas independientes de contexto. 3. Propiedades de los lenguajes independientes.
Operaciones con Cadenas
Precedencia y asociatividad de operadores
Gramáticas Formales Cadenas y Lenguajes.
Semejanza de Triángulos
Lenguajes Formales y Autómatas
Teoría de Autómatas y Lenguajes Formales Informática Técnica de Gestión ESCUELA SUPERIOR DE INFORMATICA Universidad de Castilla-La Mancha Tema 1. Introducción.
Autómatas de Pila (Pushdown Automatón)
1 AFDAFN AF Gramáticas lineales derecha Expresiones regulares Tema 2 Método de los AF Método de las derivadas Sistemas de Ecuaciones Tema 1.
UNIVERSIDAD LATINA (UNILA)
Teoría de lenguajes y compiladores
Teoría de lenguajes y compiladores
I.- ESTUDIO DE LOS LENGUAJES DE PROGRAMACIÓN.
Ejercicios sobre la ley de los senos
Teoría de lenguajes y compiladores
Unidad 3 Analizador Sintáctico
IV. GRAMÁTICAS DISTRIBUIDAS Y TABLAS DE SÍMBOLOS
Área y perímetro en los triángulos
Programación de Sistemas
Autómatas y Compiladores Semana 13. Ricardo Vargas Del Valle A35469.
REPÚBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA LA EDUCACION SUPERIOR UNIVERSIDAD VALLE DEL MOMBOY CARVAJAL EDO. TRUJILLO ENERO 2014.
República Bolivariana de Venezuela Ministerio del Poder Popular para la Educación Superior Universidad Valle del Momboy Carvajal, Trujillo Alumnas Luzmila.
Sintaxis y Semántica. S.Takahashi Fases en el proceso de análisis de lenguajes Lexer Parser caracteres tokensrespuesta.
Centro Universitario Valle de México Gramáticas Libres de Contexto Dra. Maricela Quintana López Elaborado por: Autómatas y Lenguajes Formales.
Escuela Nacional de Antropología e Historia (ENAH)
Transcripción de la presentación:

Gramáticas Otoño2012

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

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

Definición 4

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

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

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

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

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