Gua de Lenguajes y Autmatas ll (Unidad 2)

6.2 Arboles de derivacin

BNF (Back-Naur-From): BNF es la tcnica ms comn para definir la sintaxis de los lenguajes de
programacin.
Las notaciones se siguen en las sigs. Conversiones: Los no terminales se escriben entre parntesis < >, Los
terminales se representan con cadenas de caracteres sin parntesis angulares, El lado izquierdo de cada regla
debe tener nicamente un no terminal (Ya que es una GLC), El smbolo ::= que se lee se define o se escribe
como, se utiliza en lugar de
Arboles de derivacin: Un rbol de derivacin permite mostrar grficamente cmo se puede derivar cualquier
cadena de un lenguaje a partir del smbolo distinguido de una gramtica que genera ese lenguaje.
Para ser un rbol un conjunto de nodos y arcos debe satisfacer ciertas propiedades:
-Hay un nico nodo distinguido, llamado raz que no tiene arcos incidentes,
-Todo nodo c excepto el nodo raz est conectado con un arco a otro nodo k, llamado el padre de c (c es el hijo
de k). El padre de un nodo, se dibuja por encima del nodo.,
-Todos los nodos estn conectados al nodo raz mediante un nico camino,
-Los nodos que no tienen hijos se denominan hojas, el resto de los nodos se denominan nodos interiores.
6.3 Forma normal de Chomsky
Tiene 4 componentes.
-Terminales. Conocidos
tambin como tokens, smbolos
elementales del lenguaje definido por la gramtica.
-No Terminales. Conocidos tambin Variables sintcticas
-Producciones. Consiste en un no terminal llamada encabezado o lado izquierdo
de la produccin una flecha y una secuencia de terminales y no terminales
-Una designacin una d los no terminales como el smbolo inicial. Expresin: G=(V,T,P,S)
Forma normal de Chomsky: Una gramtica se dice que est en la Forma Normal de Chomsky si sus reglas son
de una de estas formas:
A BC
Aa
Siendo A, B, C no terminales y a un terminal.
6.4 Diagramas de Sintaxis
Diagramas de Sintaxis: Los diagramas sintcticos, de sintaxis o diagramas del ferrocarril son una forma de
representar una gramtica libre de contexto. Es un grafo dirigido donde los elementos no terminales aparecen
como rectngulos, y los terminales como crculos o elipses.
Notacin BNF (Backus-Naur-Form): La notacin
BNF es un metalenguaje, esto se dice porque se le
usa para describir otro lenguaje, es una
nomenclatura que nos permite una descripcin
compacta y precisa de los constructores sintcticos
usando ciertos smbolos y reglas.

6.7 Tipos de analizador sintctico

Existen 2 tipos mtodos de analizador sintctico:
-Ascendentes: construyen el rbol desde las hojas hacia la raz. Se puede considerar como la bsqueda de
una derivacin por la izquierda para una cadena de entrada. Descendentes: lo hacen en modo inverso.
Corresponde a la construccin de un rbol de anlisis sintctico para una cadena de entrada que empieza en
las hojas y avanza hacia la raz.

6.8 Manejo de errores

Manejo de errores y sus tipos:

Lxicos: Producidos al escribir mal un identificador, una palabra clave o un operador.

Sintcticos: Por una expresin aritmtica o parntesis no equilibrados.
Semnticos: Como un operador aplicado a un operando incompatible.
De correccin: Cuando el programa no hace lo que el programador realmente deseaba.