Algortimos

Algoritmos I Lenguaje de Especificación
Contenido
Contenido........................................................................................................1 Tipos de datos .................................................................................................1 Tipos de Datos Básicos ......................................................................................2 Valoresde 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 de combinación ...........................................................................8 Cantidades...................................................................................................9 Acumulación .................................................................................................9 Especificación de Problemas ............................................................................. 10 Ejemplos.................................................................................................... 10 Sintaxis ...................................................................................................... 13 Tipos Compuestos .......................................................................................... 14 Ejemplos .................................................................................................... 15 Tipos genéricos........................................................................................... 16 Ejemplos .................................................................................................... 17 Sintaxis ...................................................................................................... 19 Funciones y Problemas Genéricos..................................................................... 20

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és introducir 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 unafunció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 de especificación, podemos representarlo por la constante Indef o por el símbolo ⊥.

Algoritmos I

Lenguaje de Especificación

Tipos de Datos Básicos
Valores de verdad (Bool)
Es un tipo muy importante, porque sus términosson 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 False. Todos los tipos del lenguaje tienen una operación a == b, que es de tipo Bool e indica si los términos a y b representan el mismo valor. La operación contraria se escribe a !=...