LENGUAJES FORMALES Y DE

PROGRAMACIN
Seccin APrimer Semestre 2013
Inga. Miguel Cancinos
Aux. Erick Vidal

ESTRUCTURA DE LOS TRADUCTORES

ANLISIS LXICO

Un lenguaje de programacin es un conjunto de

caracteres, que describen un conjunto de acciones,
a ser realizadas por un ordenador.

Podemos decir entonces que un lenguaje de

programacin es un modo prctico para que las
personas podamos dar instrucciones a una
maquina especialmente una computadora.

Estos se componen de un conjunto de reglas

sintcticas y semnticas que permiten expresar
instrucciones que luego sern interpretadas.

TOKEN

Un token o tambin llamado componente lxico es una

cadena de caracteres que tiene un significado
coherente en cierto lenguaje de programacin.
Ejemplos de tokens, podran ser:

Palabras reservadas (if, while, int, ...)

identificadores
nmeros
signos, etc.

Son los elementos ms bsicos sobre los cuales se

desarrolla toda traduccin de un programa, surgen en la
primera fase, llamada anlisis lxico, sin embargo se
siguen utilizando en las siguientes fases (anlisis
sintctico y anlisis semntico) antes de perderse en la
fase de sntesis.

CATEGORA DE TOKENS
Categora

Ejemplo

Delimitadores

( )

Palabras Reservadas

While true false do if

Identificadores

indes

Nmeros Enteros

-4

Nmeros Flotantes

getInt

setInt

555

667

4.3

0.3

0.5

Smbolos especiales

+ -

* != == <>

Cadenas

LFP A Menos

{ }

LEXEMA:

Representan cadenas de caracteres en el

programa fuente que se pueden tratar juntos como
una unidad lxica. Un lexema es una secuencia de
caracteres en el programa fuente con la que
concuerda el patrn para un componente lxico.

Existen dos tipos de lexemas:

Cadena propia: lexema idntica al patrn.
Cadena no propia: lexema encaja con patrn.

PATRN

Es una regla que describe el conjunto de lexemas

que puede representar a un conjunto lxico.

Los componentes lxicos se tratan como

terminales de la gramtica del lenguaje fuente.

El patrn concuerda con una serie de cadenas.

ANLISIS SINTCTICO

Con los Tokens se establece la estructura de las

sentencias del programa a travs de clases
sintcticas.

Construye un rbol sintctico a partir de unas

reglas llamadas gramtica.

Este anlisis puede ser ascendente o descendente.

ANLISIS SEMNTICO

En esta fase del anlisis se verifica el contexto en

el que se encuentra cada sentencia sintctica, por
lo general se realiza simultneamente con el
anlisis sintctico, se verifican:
Chequeo de unicidad y multiplicidad
Comprobacin de tipos
Alcance de variables.

Entre otros.

TABLA DE SMBOLOS

Es una estructura de datos que usa el proceso de traduccin

de un lenguaje de programacin, por un compilador o un
intrprete, donde cada smbolo en el cdigo fuente de un
programa est asociado con informacin tal como la
ubicacin, el tipo de datos y el mbito de cada variable,
constante o procedimiento, etc.

La tabla almacena la informacin que en cada momento se

necesita sobre las variables del programa, informacin tal
como: nombre, tipo, direccin de localizacin, tamao, etc. La
gestin de la tabla de smbolos es muy importante, ya que
consume gran parte del tiempo de compilacin.

La tabla de smbolos puede ser almacena en una tabla de

hash, un rbol binario o cualquier otra estructura que permita
hacer bsquedas rpidas.

TAREA 2

Investigar sobre Graphviz

Que es?.
Sintaxis bsica.
Un ejemplo, (que no sea el que esta en la pagina), de
un arbol ( ya sea binario, etc).
Entrega Sbado 2 de Marzo.

TAREA #2 ESPECIFICACIONES

Correo: lfp.a.menos@gmail.com

Asunto:[LFP]Tarea2_carne

Ejemplo:[LFP]Tarea2_200915000

Para el Sbado 2 de Marzo antes de las 23:59