Usuario:Jlsierra/gramática de atributo

Introducción

Las gramáticas de atributos constituyen un formalismo utilizado para describir formalmente lenguajes informáticos. Más concretamente, una gramática de atributos permite describir:

• La sintaxis del lenguaje. Para ello utiliza una gramática libre de contexto . Dicha gramática libre del contexto caracteriza la estructura sintáctica de las frases del lenguaje mediante reglas sintácticas o producciones.
• La semántica del lenguaje. Para ello añade atributos semánticos a los símbolos de la gramática y ecuaciones semánticas a las producciones. Las ecuaciones semánticas indican la manera de calcular los valores de los atributos semánticos.

De esta manera, las gramáticas de atributos permiten representar, aparte de la sintaxis de los lenguajes, también la forma en la que las frases de dichos lenguajes son procesadas, por ejemplo, describiendo cómo dichas frases son traducidas a otro lenguaje (cómo son compiladas).

Historia

Donald E. Knuth, inventor de las gramáticas de atributos

Las gramáticas de atributos fueron creadas por el científico norteamericano Donald E. Knuth en 1968 como manera práctica de especificar la sintaxis y la semántica de los lenguajes libres de contexto.​ ​