Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Tecnolgico de Pachuca
Lenguajes y Autmatas II
Mapa unidad 1
Mati. Arturo Gonzales Ceron
13-septiembre- 2015
Analisis Semantico
Sistemas
de tipos
ACCIONES
SEMANTICAS
DE UN
ARBOLES
BINARIOS
ANALIZADOR SINTACTICO
Anlisis semntico
Tipos de arboles
Por lo tanto:
Sintaxis de un lenguaje
de programacin
es una expresin?
rbol degenerado: Que
lista
Acciones
enlazada
La comprobacin
realizada
por un
Es unaSemnticas
secuencia
de
rbol completo
compilador
es
esttica,
mientras
tokens que sigue
unas
rbol lleno que la comprobacin hecha al
reglas especificas
ejecutar el programa objeto se
Dependiendo
del tipo de sentencias,
denomina dinmica
las acciones
semnticas
La
prioridad
se pueden
determina
agruparse
en:
solo por parntesis
La expresin completa
Es el conjunto de reglas formales que
se sita con parntesis
especifican
la
estructura
de
los
programas
pertenecientes a dicho
-sentencias de declaracin:
EXPRESIONES DE
TIPOS de un rbol
lenguaje
Recorrido
completar la seccin de tipos de la
Una expresin de tipo, es un tipo bsico o se forma aplicando un
de
smboloso consultar los datos
e
usa tabla
parade
visualizar
operador llamado Se
constructor
tipos a otras
expresiones de
Sentencias ejecutables: realizar
almacenados en un rbol, tambin conocido
tipos.
comprobaciones de tipos entre los
visitarcomunes:
los nodos del mismo. Al contrario
Expresiones de como
tipos ms
operandos implicados
que
las
listas
enlazadas,
los arboles
tipos simples: son expresiones
de tipos
los tiposbinarios
simplesno
tienen
realmente
un primer valor, un segundo
del lenguaje,
y algunos
tipos especiales
valor,
un
tercer
valor,
etc.
Semntica
de
un
lenguaje
de
Integer
COMPROBACIONES
DE TIPOS
Recorrido en profundidad:
anchura: el proceso se realiza
programacin:
es el conjunto
de reglas
que
Real El
Comprobacin
esttica.un compilador
debe comprobar
ellaprograma
fuente
sigue
tanto
proceso
exigedesde
unsicamino
desde
la raz
travs
horizontalmente
raz
a todos
sus a
hijos;
a de
Tipos
de recorrido
especificanlas el
significado
de
cualquier
Char
convenciones sintcticas como
lasun
semnticas
del
lenguaje
hijo, al descendiente
lejano
primer hijo
continuacin,
a los
hijos ms
defuente.
sus
hijosdel
y as
sentencia sintcticamente
Los ejemplos de valida
comprobacin
incluyen. esttica
Boolean
El recorrido
un hasta
rbol
binario
requiere
antes
de de
proseguir
a un
segundo
hijo.
En otras
sucesivamente
que
todos
los
nodos
han sido
Nivel: distancia
de
ubicacin
hasta
la
raz
del
-comprobaciones
de
tipos
Etiquetas:
comprobar
si
hay
etiquetas
repetidas
que
cada
nodo
del
rbol
sea
procesado
Void
palabras
en
el
recorrido
en
profundidad,
todos
Funciones
y
procedimientos:
comprobar
ellos se
procesados.
En
el
recorrido
en
anchura,
cada
nivel
PADRE:
es un
nodo
tienefinito
nodos
Un
rbol
cuenta
con
un que
conjunto
Recorrido en profundidad
Recorrido preorden
rbol
Camino:
secuencia
de
nodos
en
que
comprobaciones
del
flujo
de
control
y
validacin
(visitado)
una
vez,
y
solo
una,
en
una
descendientes
de
un
hijo
se
procesan
antes
del
nmero,
orden definir
tipo
detres
losque
parmetros
actuales
procesa
totalmente
antes
de
comience
sucesores
Se
pueden
tipos
de
de elementos
llamadosal siguiente
nodos y un
Recorrido
enelordenen
cada
nodo es adyacente
Tiposrelacionadas
bsicossecuencia
y construidos
Constantes:
comprobar
que
no
se
utilicen
en la
predeterminada.
Existen
dos
-comprobaciones
con
nombres
siguiente
hijo.
cada
llamada
a
una
funcin
o
procedimiento.
nivel.
TIPOS
DE
ARBOLES
secuencia de un recorrido
en
conjunto
de
lneas
dirigidas
Recorrido
en
Hermanos:
Dos o mas es
nodos
con
el la
mismo
parte
izquierda
de
asignacin
de
Los
tipos
bsicos
son
los
tipospara
atmicos
sin estructura
interna
generales
launa
secuencia
de
Identificacin
de
variables:
comprobar
si
Altura
o profundidad:
el nivel
hojaenfoques
profundidad.
denominadas
ramas
postorden
ARBOL
EQUILIBRADO
padre
Es
una
estructura
de
datos
en
la
cual
Entre
los
tipos
construidos
se
pueden
considerar
a
apuntadores
recorrido:
identificador ha sido declarado antes de utilizarlo.y
del camino mas largo desde la raz mas uno
ARBOL
PERFECTAMENTE
cada uno de los elementos estn
Hoja: es=un
nodo que no tiene hijoslas funciones
ALTURA
NIVELES+1
Arboles
binarios
relacionados
entre s a travs de ramas
EQUILIBRADO
Esquema
traduccin:
Tabla dede
Smbolos:
estructura de datos
que almacenan toda la informacin de
una gramtica
contexto
Las Es
rutinas
semnticasindependiente
suelen
hacer del
uso
de
los
identificadores
del lenguaje
fuente
en (la
el
cualsemntica)
se han insertado fragmentos de
eepila
una pila
cdigo en las partes derechas de sus reglas de
produccin.
Parten
del
axioma
inicial
de
la
RUTINAS SEMANTICAS
Las rutinas semnticas son fragmentos de
En los que
traductores
y compiladores
las TS
codigo
el desarrollador
del compilador
existen
en entre
tiempo
de compilacin
escribenicamente
normalmente
llaves
{}.
Pilas
Las
reservadas
no estn en
la TS
Lospalabras
esquemas
de traduccin
ejecutan
las
rutinas semnticas de modo imperativo.
Continua
NoNo
reconoce
debe presentarse en un buen sistema de compilacin