Documentos de Académico
Documentos de Profesional
Documentos de Cultura
IRAPUATO
CARRERA
ING. SISTEMAS COMPUTACIONALES
MATERIA
LENGUAJES Y AUTÓMATAS II
TEMA
ANÁLISIS SEMÁNTICO
UNIDAD 1
ACTIVIDAD 8 (INVESTIGACIÓN):
INVESTIGAR QUÉ ES UN ESQUEMA DE TRADUCCIÓN Y
CÓMO SE HACEN
PRESENTA
RAMÍREZ LUNA JESSICA ELIZABETH
DOCENTE
JUAN CARLOS GONZALEZ CORDOBA
FEACHA ENTREGA
18/09/2020
INTRODUCCIÓN
¿Cómo se hace?
Cuando se diseña un esquema de traducción, se deben respetar algunas
limitaciones para asegurarse de que el valor de un atributo esté disponible cuando
una acción se refiera a él. Estas limitaciones, motivadas por las definiciones con
atributos por la izquierda, garantizan que las acciones no hagan referencia a un
atributo que aún no haya sido calculado. El ejemplo más sencillo ocurre cuando
sólo se necesitan atributos sintetizados, en este caso, se puede construir el
esquema de traducción creando una acción que conste de una asignación para
cada regla semántica y colocando esta acción al final del lado derecho de la
producción asociada. Las reglas semánticas van entre corchetes y se ubican en el
lugar de la regla en que queremos que se ejecuten. Los esquemas de traducción
pueden tener tanto atributos sintetizados como heredados.
Esquemas de traducción dirigidos por la sintaxis
Los esquemas de traducción dirigidos por la sintaxis son formalismos abstractos
de traducción de alto nivel por tanto adolecen de un mecanismo para indicar el
momento exacto en el que cada regla semántica debe ejecutarse. Una versión
computacional que soluciona este problema son los esquemas de traducción
dirigidos por la sintaxis.
Elementos de las traducciones dirigidas por la sintaxis
Atributos
Un atributo es un espacio de información con tipificación explícita que sirve para
albergar una característica propia del proceso de traducción y que puede ser
transferida a otras producciones gramaticales para que pueda ser utilizada desde
allí por sus reglas semánticas. Existen dos tipos de atributos:
1. Atributos sintetizados
Se dice que un atributo es sintetizado si su valor es
calculado exclusivamente a partir de atributos de
los símbolos gramaticales de la parte derecha de
sus reglas de producción. El carácter sintetizado de
un atributo se mantiene a lo largo de toda la gramática.
2. Atributos heredados
Se dice que un atributo es heredado si su valor es
calculado a partir de atributos de los símbolos
gramaticales de la regla de producción en que
aparece o los antecedentes de esta. El carácter
heredado de un atributo se mantiene a lo largo de
toda la gramática.
Acción semántica
Una acción semántica es un fragmento de código ejecutable, insertando en algún
punto de la parte derecha de una regla de producción, encargado de realizar cierta
lógica de traducción a partir de la información soportada por los atributos de los
símbolos
gramaticales de
dicha regla.
Web
José Domínguez Pérez. (2019). Herramientas de ayuda para compiladores.
16/09/2020, de Univerdidas Politecnica de Madrid Sitio web:
http://oa.upm.es/55766/1/TFG_JOSE_DOMINGUEZ_PEREZ.pdf