Este documento describe los algoritmos como listas de instrucciones finitas que convierten datos de entrada en una solución de salida. Explica que los algoritmos tienen tres propiedades: tiempo secuencial, estado abstracto y exploración acotada. Además, detalla diferentes medios para expresar un algoritmo, como descripciones de alto nivel, formales e implementaciones.