De qué se trata un algoritmo

Un algoritmo es una prescripción establecida con precisión para realizar, en un cierto orden, una determinada secuencia de operaciones que conducen inequívocamente a la solución de un problema particular.

Un algoritmo  es una prescripción (instrucción) establecida con precisión para realizar, en un  cierto orden, una determinada secuencia de operaciones que conducen inequívocamente a la solución de un problema particular. La prescripción de un algoritmo es un conjunto finito de reglas que define un proceso computacional potencialmente factible (el proceso de ejecutar un algoritmo), que lleva desde los datos iniciales que varían dentro de ciertos límites hasta la obtención de un resultado que está determinado únicamente por los datos iniciales admisibles …. Esto último implica que el resultado de la ejecución del algoritmo depende directamente de los datos iniciales: es decir, el mismo algoritmo para diferentes datos iniciales dará diferentes resultados; por otro lado, si los mismos datos se pasan al mismo algoritmo varias veces, debe devolver el mismo resultado el mismo número de veces. Los ejemplos más simples de algoritmos son las reglas aritméticas para la suma, resta, multiplicación, división y similares de saber Que es un algoritmo.

Las propiedades formales de los algoritmos [explícita o implícitamente] incluyen los siguientes requisitos generales:

Discreción (separación en partes) y  orden. El algoritmo debe constar de acciones independientes que se realizan secuencialmente una tras otra.

Determinismo (certeza inequívoca). La aplicación repetida del mismo algoritmo al mismo conjunto de datos de entrada siempre da el mismo resultado.

Formalidad. El algoritmo no debe permitir ambigüedad en la interpretación de acciones para el ejecutante.

Efectividad y  finitud. La operación del algoritmo debe completarse en un cierto número de pasos y el problema debe resolverse.

Carácter de masas. Un cierto algoritmo debería ser aplicable a todos los problemas del mismo tipo.

La prescripción del algoritmo, por regla general, se fija (se escribe) en forma de texto en algún lenguaje formalizado (ver  Lenguaje formalizado), llamado programa. El concepto de programa se formula en términos puramente estructurales de la sintaxis de este lenguaje, sin ninguna referencia a categorías semánticas. La descripción del procedimiento de ejecución del programa es de la misma naturaleza. Por lo tanto, en el papel de ejecutor de algoritmos escritos en lenguajes formalizados [algorítmicos], no solo puede actuar una persona, sino también un dispositivo automático dotado de capacidades [informáticas] adecuadas, una máquina… La computadora es el ejecutor universal de algoritmos. Con su ayuda, es posible realizar todos los tipos básicos de algoritmos. La posibilidad de la implementación mecánica de procedimientos algorítmicos y, en consecuencia, la solución automática de problemas, estimuló el desarrollo de la tecnología informática y la creación de una teoría matemática de algoritmos. En la ciencia moderna, la teoría de los algoritmos es la base de una dirección constructiva en matemáticas y lógica, y también actúa como una de las disciplinas básicas en el campo de la tecnología y programación informática, solución de máquinas de diversos problemas, modelado de varios procesos y otras áreas.

La palabra «algoritmo» proviene del nombre del científico árabe del siglo IX, Mohamed bin Musa al-Khwarizmi, quien fue el primero en describir las reglas para realizar operaciones aritméticas en el sistema numérico decimal inventado en India. Posteriormente, el término «algoritmo» comenzó a denotar estas reglas de cálculo. Sin embargo, con el tiempo, el concepto de algoritmo se expandió gradualmente, junto con su expansión de la matemática pura a otras áreas, y en el siglo XX, comenzó a entenderse como la secuencia exacta de acciones que conducen a la solución del problema, siempre que que este problema es obviamente solucionable.