En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmoes un
conjunto prescrito de instrucciones o reglas bien definidas, ordenadas y finitas que permite llevar a
cabo una actividad mediante pasos sucesivos que no generen dudas a quien deba hacer dicha
actividad
Estado abstracto
Cada estado computacional puede ser descrito formalmente utilizando una estructura de primer
orden y cada algoritmo es independiente de su implementación
Tiempo secuencial.
Un algoritmo funciona en tiempo discretizado –paso a paso–, definiendo así una secuencia de
estados computacionales por cada entrada válida