Especificación de lenguajes

Algoritmos y Estructura de Datos I – 1er Cuatrimestre 2009
-1-

Lenguaje de Especificación
Contenido
Contenido ........................................................................................................ 1
Tipos de datos .................................................................................................. 2
Tipos de Datos Básicos...................................................................................... 2
Valores de verdad (Bool) ................................................................................ 2
Números enteros (Int) ................................................................................... 2
Números reales (Float) .................................................................................. 3
Caracteres(Char)........................................................................................... 3
Términos.......................................................................................................... 4
Funciones Auxiliares .......................................................................................... 4
Tipos Enumerados y Sinónimos de Tipo............................................................... 5
Secuencias ....................................................................................................... 6
Secuencias por comprensión............................................................................ 6
Operaciones frecuentes ................................................................................... 7
Operaciones decombinación............................................................................ 8
Cantidades .................................................................................................... 9
Acumulación .................................................................................................. 9
Especificación de Problemas..............................................................................10
Ejemplos ......................................................................................................10
Sintaxis........................................................................................................13
Tipos Compuestos ............................................................................................14
Ejemplos......................................................................................................15
Tipos genéricos .............................................................................................17
Ejemplos ......................................................................................................17Sintaxis........................................................................................................20
Función ifThenElse ...........................................................................................20

Lenguaje de especificación

Algoritmos y Estructura de Datos I – 1er Cuatrimestre 2009
-2-

Tipos de datos
Recordemos que un tipo de datos es un conjunto de valores con ciertas
operaciones en común. Vamos a empezar viendo unos tipos de datos básicos para
despuésintroducir otros más complejos.
En nuestro lenguaje de especificación, para hablar de un elemento de un tipo,
escribimos un término o expresión. Un término puede ser
• una variable,
• una constante del tipo
• o una función (operación) aplicada a otros términos.
Todos los tipos tienen un elemento distinguido (un valor especial, distinto de los
demás) llamado indefinido. En el lenguaje deespecificación, podemos representarlo
por la constante Indef o por el símbolo ⊥.

Tipos de Datos Básicos
Valores de verdad (Bool)
Es un tipo muy importante, porque sus términos son los predicados
(afirmaciones, condiciones) de nuestro lenguaje de especificación. Por ejemplo, la
precondición y la poscondición de un problema son términos de tipo Bool.
Este tipo tiene dos constantes: True y...