Una

representación concreta de la solución a un problema en un lenguaje de

programación

Una

especificación de un conjunto de

datos y el conjunto de operaciones que se pueden realizar

sobre esos datos

La

solución a un problema en forma de secuencia

finita de instrucciones