Lenguaje Gaila

Este documento contiene la especificación técnica del lenguaje de programación Gaila.

Historia

Aquí se enlistan las correcciones, aclaraciones y cambios que ha sufrido este documento.

2009-06-09: Publicación original de esta especificación.

Elementos Léxicos

En las siguientes secciones, una letra se considera cualquier carácter del alfabeto inglés de la A a la Z mayúscula o minúscula. Un dígito se considera cualquier carácter del 0 al 9. En general los espacios, tabuladores y nuevas líneas sirven como delimitadores entre elementos léxicos, pero fuera de eso son ignorados.

Comentarios

Gaila sólo cuenta con comentarios de línea: comienzan con el carácter ; (punto y coma) y terminan al finalizar la línea.

Identificadores

Un identificador está conformado por una secuencia de uno o más caracteres de letra. Las letras minúsculas y mayúsculas son consideradas diferentes. Los identificadores pueden tener cualquier longitud.

Enteros

Una literal entera es una secuencia de uno o más dígitos. Estas literales están en base diez en un rango de 0 a 2³¹ - 1.

Booleanos

Las literales booleanas son #v y #f.

Sintaxis

Los elementos en mono-espacio representan símbolos terminales (tokens).

‹programa›	→	‹declaración›* ‹enunciado›*
‹declaración›	→	‹tipo› ‹identificador›
‹tipo›	→	`entero` \| `bool`
‹enunciado›	→	‹asignación› \| ‹impresión› \| ‹condicional›
‹asignación›	→	‹identificador› `=` ‹expresión›
‹impresión›	→	`imprime` ‹expresión›
‹condicional›	→	`si` ‹expresión› `entonces` ‹enunciado›* `fin`
‹expresión›	→	‹expresión› ‹operador› ‹expresión_simple› \| ‹expresión_simple›
‹operador›	→	`&` \| `<` \| `+` \| `*`
‹expresión_simple›	→	‹identificador› \| ‹literal_entera› \| ‹literal_booleana› \| `(` ‹expresión› `)`\| `-` ‹expresión_simple›

Semántica

Generalidades

Los enunciados se ejecutan de manera secuencial comenzando desde el primero.

Una literal entera es de tipo entero.

Las literales #v y #f son de tipo bool.

Enunciados

Enunciado	Descripción
var `=` exp	Coloca en la variable var el resultado de evaluar exp. var debe estar declarada previamente. var y exp deben ser del mismo tipo.
`imprime` exp	Evalúa exp e imprime el resultado en la salida estándar.
`si` exp `entonces` enunciados... `fin`	Evalúa exp, el cual debe ser de tipo `bool`. Si resulta en `#v`, ejecuta enunciados..., de otra forma no tiene efecto alguno.

Operadores

Operador	Nombre	Tipo			Notas
Operador	Nombre	op₁	op₂	resultado	Notas
op₁ `&` op₂	Conjunción	`bool`	`bool`	`bool`	Devuelve la conjunción lógica entre op₁ y op₂. Es decir, devuelve `#v` sólo si tanto op₁ y op₂ son `#v`, y devuelve `#f` en cualquier otro caso.
op₁ `<` op₂	Menor	`entero`	`entero`	`bool`	Devuelve `#v` si op₁ es menor que op₂, `#f` en otro caso.
op₁ `+` op₂	Suma	`entero`	`entero`	`entero`	Devuelve la suma aritmética de op₁ más op₂. Genera una excepción de desbordamiento si el resultado está fuera de rango.
op₁ `*` op₂	Multiplicación	`entero`	`entero`	`entero`	Devuelve el producto aritmético de op₁ por op₂. Genera una excepción de desbordamiento si el resultado está fuera de rango.
`-` op₁	Negación	`entero`	N/A	`entero`	Devuelve la negación aritmética de op₁. Genera una excepción de desbordamiento si el resultado está fuera de rango.

Traductores