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 describe la estructura jerárquica de los programas. Una gramática describe la estructura jerárquica de los programas. Una gramática posee símbolos terminales y no-terminales. Una gramática posee símbolos terminales y no-terminales. Las gramáticas están compuestas de producciones. Las gramáticas están compuestas de producciones.

Las producciones se componen de un lado izquierdo y un lado derecho o cuerpo de la producción. Las producciones se componen de un lado izquierdo y un lado derecho o cuerpo de la producción. Lado izquierdo = no terminal. Lado izquierdo = no terminal. Lado derecho = terminales y no terminales. Lado derecho = terminales y no terminales. Un no terminal se designa como símbolo inicial de la gramática. Un no terminal se designa como símbolo inicial de la gramática.

Ejemplo de una gramatica: Ejemplo de una gramatica: lista  lista + digito lista  lista – digito lista  digito digito  0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 Tambien pueden agruparse de la siguiente manera: Tambien pueden agruparse de la siguiente manera: lista  lista + digito | lista – digito | lista  digito digito  0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

Un analizador léxico lee la entrada un carácter a la vez y produce como salida un flujo de tokens. Un analizador léxico lee la entrada un carácter a la vez y produce como salida un flujo de tokens. Un token consiste en un símbolo terminal de la gramática. Un token consiste en un símbolo terminal de la gramática. El traductor utiliza la tabla de símbolos para saber cuales palabras reservadas e identificadores ya ha analizado. El traductor utiliza la tabla de símbolos para saber cuales palabras reservadas e identificadores ya ha analizado.

El analizador léxico lee los caracteres del programa fuente y los agrupa en unidades con significado léxico llamadas lexemas y produce como salida tokens que representan estos lexemas. El analizador léxico lee los caracteres del programa fuente y los agrupa en unidades con significado léxico llamadas lexemas y produce como salida tokens que representan estos lexemas. Un token consisten en dos componentes, un nombre del token y un valor de atributo Un token consisten en dos componentes, un nombre del token y un valor de atributo

El análisis sintáctico deriva una cadena de terminales desde el símbolo de inicio de la gramática. El análisis sintáctico deriva una cadena de terminales desde el símbolo de inicio de la gramática. Sustituyendo un no terminal por el cuerpo de la producción en repetidas ocasiones. Sustituyendo un no terminal por el cuerpo de la producción en repetidas ocasiones. Un analizador sintáctico construye un árbol. Un analizador sintáctico construye un árbol.

Ejemplo de árbol de análisis sintáctico para Ejemplo de árbol de análisis sintáctico para lista digito

La raíz del árbol sintáctico, es el símbolo de inicio de la gramática. La raíz del árbol sintáctico, es el símbolo de inicio de la gramática. Cada nodo que no es hoja corresponde a una producción. Cada nodo que no es hoja corresponde a una producción. Cada hoja corresponde a un terminal. Cada hoja corresponde a un terminal. El árbol de análisis sintáctico se lee de izquierda a derecha. El árbol de análisis sintáctico se lee de izquierda a derecha.