Tecnologia

CASO: Sistema de Almacenamiento de Elementos

Se desea automatizar el llenado de un contenedor a través de cajas que agrupan 5 botellas cada una; el contenedor tiene una capacidad máxima de llenado de 20 cajas. El gerente de la compañía lo ha escogido a usted para realizar el sistema de automatización, el cual consiste en un indicador que se ilumina cada vez que se haya llenado una caja y otro que me indique que ya han pasado 20 cajas. Como requerimiento se pide que el sistema tenga un botón de inicio para activar la banda transportadora de las botellas, un contador que cuente los pulsos de un detector o sensor, un actuador para la evacuación de las cajas que ya están llenas y por último debe existir un botón que reinicie el sistema.

3

— Tipos compuestos o estructurados, que son los tipos formados a partir de los

elementales. Existen varias formas de agrupar los datos de tipos elementales:

La más simple es la estructura indexada, muy similar a los vectores o matrices de

matemáticas, en donde lo que hacemos es relacionar unos índices (pertenecientes a un tipo

de datos) con los valores de un tipo determinado. Sobre estas estructuras se pueden

realizar las operaciones de consulta o asignación de un valor (a través de su índice).

Otra estructura compuesta muy importante es el registro, que no es más que una sucesión

de elementos de distintos tipos, denominados campos, que llevan asociados un

identificador. Sobre estos tipos se definen las operaciones de asignación y de acceso a un

campo. Algunos lenguajes también soportan la operación de asignación para toda la

estructura (la copia de todos los campos en un solo paso).

El tipo cadena de caracteres es un caso especial de tipo de datos, ya que algunos lenguajes

lo incorporan como tipo elemental (con un tamaño fijo), mientras que en otros lenguajes

se define como un vector de caracteres (de longitud fija o variable) que es una estructura

indexada. Como se ve, los campos de un registro pueden ser de otros tipos compuestos,

no sólo de tipos elementales.

— Tipos recursivos, que son un caso especial de tipos compuestos, introduciendo la

posibilidad de definir un tipo en función de sí mismo.

Para terminar nuestro análisis de los tipos de datos, hablaremos de la forma en que los lenguajes

de programación relacionan las variables con sus tipos y las equivalencias entre distintos tipos.

Hemos dicho que el empleo de tipos de datos nos sirve para que el computador almacene los

datos de la forma más adecuada y para poder verificar las operaciones que hacemos con ellos.

Sería absurdo que intentáramos multiplicar un carácter por un real pero, si el compilador no

comprueba los tipos de los operandos de la multiplicación, esto sería posible e incluso nos

devolvería un valor, ya que un carácter se representa en binario como un número entre 0 y 255.

Para evitar que sucedan estas cosas los compiladores incorporan mecanismos de chequeo de

tipos, verificando antes de cada operación que sus operandos son de los tipos esperados. El

chequeo se puede hacer estática o dinámicamente. El chequeo estático se realiza en tiempo de

compilación, es decir, antes de que el programa sea ejecutable. Para realizar este chequeo es

necesario que las variables y los parámetros tengan tipos fijos, elegidos por el programador. El

chequeo dinámico se realiza durante la ejecución del programa, lo que permite que las variables

puedan ser de distintos tipos en tiempo de ejecución.

Por último señalaremos que existe la posibilidad de que queramos realizar una operación

definida sobre un tipo de datos, por ejemplo reales, aplicada a una variable de otro tipo, por

ejemplo entera. Para que podamos realizar esta operación debe de existir algún mecanismo para

compatibilizar los tipos, convirtiendo un operando que no es del tipo esperado en éste, por

ejemplo transformando un entero en real, añadiendo una parte decimal nula, o transformando un

real en entero por

...