No ambiguo:

Explicito, siempre
sabe qué comando
ejecutar.
Entrada: Definir
Finito: El lo que necesita
algoritmo termina el algoritmo.
en un número
finito de pasos.

EL ROL DE LOS
General: Debe Características de un
contemplar todos algoritmo
ALGORITMOS EN
los casos de LA COMPUTACIÓN
entrada.

Correcto: La
solución debe Salida: Definir
ser correcta. lo que produce.

Efectividad: Cada
instrucción se
completa en
tiempo finito.