Asignatura: Lenguajes y Autmatas:

Docente: Ing. Antonia Guadalupe Castillo Coronado

Integrantes del equipo: Raymundo Jess Oy Ceme Jose Alfredo May Puc Marco Antonio Tuz Castillo Joel De Dios Pool

Tema: Investigacin de la unidad 6: Anlisis Sintctico

Semestre, Grupo: Quinto A

Carrera: Ingeniera en Sistemas Computacionales

Fecha de Entrega: Jueves 5 de Noviembre de 2013

Anlisis Sintctico
Determina la sintaxis o estructura de un programa El analizador sintctico obtiene una cadena de componentes lxicos del analizador lxico, y comprueba si la cadena puede ser generada por la gramtica del programa fuente. El analizador sintctico (A.S.) comprueba que el orden en que el analizador lxico le va entregando los tokens es vlido. Si esto es as significar que la sucesin de smbolos que representan dichos tokens puede ser generada por la gramtica correspondiente al lenguaje del cdigo fuente La forma ms habitual de representar la sintaxis de un programa es el rbol de anlisis sintctico, y lo que hacen los analizadores sintcticos es construir una derivacin por la izquierda o por la derecha del programa fuente, que en realidad son dos recorridos determinados del rbol de anlisis sintctico El anlisis sintctico permite reconocer las funciones que las palabras cumplen dentro de una oracin. Mediante el anlisis sintctico podemos, por ejemplo, identificar los modificadores del predicado. Una parte del anlisis sintctico es identificar los complementos del verbo y que, tal como su nombre lo indica, complementan la informacin que un verbo de por s nos brinda.

6.1 GLC
Capturan la nocin de constituyente sintctico y la nocin de orden. Herramienta formal que puede ser vista tanto desde un punto de vista generador como estructurador. Propiedades computacionales interesantes: se puede reconocer en tiempo polinmico.

Una Gramtica Libre de Contexto es una tupla con 4 parmetros: G = (V, T, P, S) V conjunto de smbolos variables T conjunto de smbolos terminales S V, smbolo inicial P conjunto de reglas de produccin: A , con sucesin de smbolos de V T, eventualmente vaca ( = ).

Una GLC es un dispositivo generador. Definimos el lenguaje LG generado por una gramtica G del siguiente modo: LG = {w / S * w}, siendo * una especie de clausura transitiva de y w una tira de terminales. Reglas para oraciones aseverativas (esbozo) O GN GV O GV GV V GV V GN GV V GAdj GV V GAdv GV GV GP [1]

6.2 rboles de derivacin