Lenguaje Buttercup

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

Historia

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

2012-10-04: 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

Buttercup 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 #t y #f.

Sintaxis

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

‹program›	→	‹declaration›* ‹statement›*
‹declaration›	→	‹type› ‹identifier›
‹type›	→	`int` \| `bool`
‹statement›	→	‹assignment› \| ‹print› \| ‹condition›
‹assignment›	→	‹identifier› `=` ‹expression›
‹print›	→	`print` ‹expression›
‹condition›	→	`if` ‹expression› `then` ‹statement›* `end`
‹expression›	→	‹expression› ‹operator› ‹simple_expression› \| ‹simple_expression›
‹operator›	→	`&` \| `<` \| `+` \| `*`
‹simple_expression›	→	‹identifier› \| ‹integer› \| ‹boolean› \| `(` ‹expression› `)`\| `-` ‹simple_expression›

Semántica

Generalidades

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

Una literal entera es de tipo int.

Las literales #t 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.
`print` exp	Evalúa exp e imprime el resultado en la salida estándar.
`if` exp `then` enunciados... `end`	Evalúa exp, el cual debe ser de tipo `bool`. Si resulta en `#t`, 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 `#t` sólo si tanto op₁ y op₂ son `#t`, y devuelve `#f` en cualquier otro caso.
op₁ `<` op₂	Menor	`int`	`int`	`bool`	Devuelve `#t` si op₁ es menor que op₂, `#f` en otro caso.
op₁ `+` op₂	Suma	`int`	`int`	`int`	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	`int`	`int`	`int`	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	`int`	N/A	`int`	Devuelve la negación aritmética de op₁. Genera una excepción de desbordamiento si el resultado está fuera de rango.

Compilers