Todos los algoritmos son procedimientos efectivos, sin embargo, no todos los procedimientos efectivos son algoritmos.