Especificación lógica del tipo de datos abstracto de una impresora.

Elementos: caracteres.
Organización: lineal.
Dominio: de 10 caracteres de longitud.

Operaciones:

Imprimir
Utilidad: sirve para para poder imprimir.
Entrada: si la impresora esta aprendida podrá imprimir.
Salida: un mensaje que diga que la impresora está imprimiendo.
Precondición: prender la impresora.
Postcondición: tiene que estar encendida la impresora y que tenga
hojas para que se puedes imprimir en dado caso que no arrojara un
Error de la impresora.

Escanear
Utilidad: sirve para poder escanear hojas.
Entrada: tener una hoja en la impresora para poder escanearla.
Salida: un mensaje que diga la hoja se está escaneando.
Precondición: debe de haber una hoja dentro de la impresora
para escanear.
Postcondición: si la impresora está apagado no podrá hacer
la función escanear o si no tiene una hoja a escanear tampoco,
para lo cual se necesita tener una impresora y una hoja
colocada para poder escanear.

PrendidoyApgado

Utilidad: sirve para aprender y apagar la impresora.

Entrada: un estado verdadero prendido y falso apagado
Salida: verdadero que quiere decir que la impresora esta encendido.
Precondición: debe de existir una impresora que cual se inicializa
automáticamente en apagado.
Postcondición: tienes que crear un objeto te tipo impresora y prenderla.

Copias
Utilidad: servirá para poder hacer fotocopias.
Entrada: colocar una hoja la cual se desea fotocopiar.
Salida: un mensaje que diga la impresora está fotocopiando.
Precondición: se debe de colocar una hoja para que pueda hacer la
función fotocopiar.
 Postcondicion: Si la impresora está apagado no podrá hacer la función
fotocopiar o si no tiene una hoja a fotocopiar tampoco, para lo cual se
necesita tener una impresora y una hoja colocada para poder fotocopiar.