La traducción dirigida por sintaxis se refiere a un método de implementación del compilador donde la traducción del idioma fuente está completamente controlada por el analizador .
Un método común de traducción dirigida por la sintaxis es traducir una cadena en una secuencia de acciones asociando una de esas acciones a cada regla de una gramática . [1] Por lo tanto, el análisis de una cadena de la gramática produce una secuencia de aplicaciones de reglas. La SDT proporciona una forma sencilla de asociar semántica a cualquier sintaxis de ese tipo .
La traducción dirigida por sintaxis funciona básicamente añadiendo acciones a las producciones en una gramática libre de contexto , lo que da como resultado una definición dirigida por sintaxis (SDD). [2] Las acciones son pasos o procedimientos que se llevarán a cabo cuando se utilice esa producción en una derivación. Una especificación gramatical integrada con acciones a realizar se denomina esquema de traducción dirigida por sintaxis [1] (a veces simplemente llamado "esquema de traducción").
Cada símbolo de la gramática puede tener un atributo , que es un valor que se asociará con el símbolo. Los atributos comunes pueden incluir un tipo de variable, el valor de una expresión, etc. Dado un símbolo X , con un atributo t , ese atributo se denomina X . t
De esta forma, dadas las acciones y los atributos, la gramática se puede utilizar para traducir cadenas de su lenguaje aplicando las acciones y transportando información a través del atributo de cada símbolo.
Los primeros metacompiladores utilizan los términos traducción basada en sintaxis y traducción dirigida por sintaxis en sus descripciones. Tienen características de lenguaje de metaprogramación para generar código.
Véase metacompilador , META II y TREE-META .