TRADUCTORES

SISTEMAS DE TRADUCCION
Traduccin: conjunto de pares de
elementos (tira fuente, tira traducida o de
salida).
Ejemplos: compiladores, cada una de las
pasadas o fases establece por si misma
una traduccin.
TIPOS DE TRADUCTORES
Esquemas de Traduccin: la traduccin se
realiza cuando la tira de entrada ha sido
reconocida con xito.
Maquinas Traductoras: realizan su
proceso de traduccin simultneamente
con el proceso de lectura (o
inmediatamente despus) de cada
smbolo de la tira de entrada
CONCEPTO DE TRADUCCION
Te y Le: Alfabeto y lenguaje de entrada
Ts y Ls: Alfabeto y lenguaje de salida
Le C Te*
Ls C Ts*
Una traduccin del Le en el Ls es:
Ls = Tr(Le),
donde Tr es la funcin traduccin
Si una tira de salida s es la traduccin mediante
Tr de una tira de entrada e, el par resultante se
denota (e, s) pero tambin puede suceder que
existan (e, s), (e,s), etc.
MAQUINAS TRADUCTORAS
TRADUCTOR FINITO
Es un Autmata Finito al que se le ha
adicionado una cinta de salida donde se va a
almacenar la traduccin de la tira o cadena de
entrada.
CINTA DE SALIDA
Definicin formal de traductor finito
Se puede definir como una sxtupla TF = (Q,
Te,Ts, , q1,F)
donde :
Q = {conjunto finito de estados}
Te y Ts= {conjunto finito de smbolos, que
constituye el alfabeto de entrada y de salida}.
Pueden ser diferentes, idnticos o coincidir en
parte.
:Q x Te U{} P(Q x Ts*) es la funcin de
transicin-traduccin
q1 Q, es el estado inicial
F Q: es el conjunto de estados finales

Configuracin: un terceto de la forma (q, t, s) donde q,

es el estado actual, w la cadena que queda por leer y
por traducir y s es la cadena de salida emitida-traducida
de la de entrada hasta ese instante
Configuracin inicial: es el terceto (q1,t, ) siendo t la
sentencia o cadena de entrada a reconocer y traducir y
la tira de salida en un inicio.
Configuracin final: el terceto (qi, , s) donde qi F, e
indica que no queda nada por reconocer s es la tira de
salida resultante de todo el proceso
Movimiento: el trnsito entre 2 configuraciones, y se
representa por (q,aw,s) (q,w, sz) y se debe de
cumplir que (q,a)=(q, z).
Lenguaje reconocido por un TF
Cuando un traductor transita a una configuracin
final partiendo de la configuracin inicial, en
varios movimientos, se dice que se ha producido
aceptacin o reconocimiento de la cadena de
entrada y su respectiva traduccin.
El conjunto traduccin de un traductor finito, es:
Tr(TF) = {(t,s)/t Te*, s Ts* y (q1,t, )
(qi,,s), qi F}
Se le denomina como traduccin regular
TRADUCTOR DE PILA
Es un Autmata de Pila al que se le ha
adicionado una cinta de salida donde se va a
almacenar la traduccin de la tira o cadena de
entrada.
CINTA DE SALIDA
Definicin formal de traductor de pila
Se puede definir como sistema formal TP = (Q, Te,Ts,
Tp, , q1,Zo, F)
donde :
Q = {conjunto finito de estados}
Te y Ts= {conjunto finito de smbolos, que constituye el
alfabeto de entrada y de salida}. Pueden ser diferentes,
idnticos o coincidir en parte.
Tp: alfabeto de la pila
:Q x Te U{} x Tp P(Q x Tp* x Ts*) es la funcin de
transicin-traduccin
q1 Q, es el estado inicial
Zo es el smbolo inicial que contiene la pila antes de
comenzar, evidentemente Zo Tp
F Q: es el conjunto de estados finales

Configuracin: un cuarteto de la forma (q, w, , s) donde

q, es el estado actual, w la cadena que queda por leer y
por traducir, es el contenido de la pila, en el
instante considerado (= Indica que la pila
est vaca, Tp*) y s es la cadena de salida
emitida-traducida de la cadena de entrada hasta ese
instante
Configuracin inicial: es el cuarteto (q1,t,Zo,) siendo t la
sentencia o cadena de entrada a reconocer y traducir Zo
es el smbolo inicial de la pila y la tira de salida en un
inicio.
Configuracin final: el cuarteto (qi, , , s) donde qi F,
e indica que no queda nada por reconocer s es la tira de
salida resultante de todo el proceso
Movimiento: el trnsito entre 2 configuraciones, y se
representa por (q,aw, Z, y) (q,w, , yz) y se debe
de cumplir que (q, a, Z)=(q, , z).
Lenguaje reconocido por un TP
Se puede definir de dos formas :
a ) El traductor reconoce y traduce una cadena de entrada
a una de salida, cuando alcanza el estado final, es decir
el conjunto traduccin se puede expresar de la siguiente
forma :
Tr(TP) = {(t,s)/t Te*, s Ts* y (q1,t, Zo, ) (qi,, ,s),
qi F}
b) El traductor reconoce y traduce la cadena de netrada a
una de salida cuando la pila queda vaca,
independientemente del estado al que se llegue,
entonces el conjunto traduccin es:
Tr(TP) = {(t,s)/t Te*, s Ts* y (q1,t, Zo, ) (q,, ,s)}
EJEMPLO DE UN TRADUCTOR FINITO
Fichero secuencial:
Transformar un fichero secuencial el cual tiene la
estructura de entrada siguiente:
Al inicio uno o varios registros cabecera (h)
Luego como mnimo un registro de datos, que pueden
ser: a, b, c.
Al final lleva uno o varios registros cola (t)
La expresin regular sera:
h
+
(a+b+c)
+
t
+
Se desea que el Traductor finito deje inalterado el
fichero, pero solamente con un registro de cabecera y
uno de cola.
Definir el TF
EJEMPLO DE UN TRADUCTOR CON PILA