Un algoritmo es un conjunto de instrucciones para resolver un problema o una clase de problemas. Sirve para resolver cualquier problema que tenga un número finito de pasos posibles y una función objetivo que maximizar (o minimizar).

Hay muchos tipos diferentes de algoritmos, pero todos siguen la misma estructura básica:

1. Entradas:
   Las entradas son los valores con los que se empieza. Pueden ser números, cadenas de caracteres u otras variables. En algunos casos, ni siquiera los proporciona el usuario, sino que son generados automáticamente por el propio programa o leídos de la memoria o de archivos del ordenador.
2. Procesamiento:
   En el paso de procesamiento, llevas a cabo todos los cálculos y tomas decisiones basadas en tus datos de entrada y otra información. Podrías multiplicar dos números entre sí, combinar dos cadenas en una nueva cadena o elegir la dirección que quieres seguir en un laberinto, dependiendo de la dirección que aún no se haya tomado.
3. Resultados:
   Por último, si todo ha sido procesado con éxito y todas las posibles preguntas han sido contestadas correctamente por el diagrama de flujo lógico de su algoritmo (si lo hay), podemos utilizar esta salida como parte de nuestra próxima entrada para nuestra siguiente pasada por el mismo proceso de resolución de problemas más adelante en otra parte de la misma base de código (si es necesario).

Un algoritmo es un conjunto de reglas que pueden implementarse en un programa informático para resolver un problema o una clase de problemas.

El algoritmo consta de un número finito de pasos individuales bien definidos. Por tanto, puede implementarse y ejecutarse en un programa informático, pero también puede formularse en lenguaje humano. Al resolver un problema, una entrada específica se convierte en una salida específica.

La falta de precisión matemática del término algoritmo molestó a muchos matemáticos y lógicos de los siglos XIX y XX, por lo que en la primera mitad del siglo XX se desarrollaron toda una serie de planteamientos que pretendían conducir a una definición precisa. El concepto de máquina de Turing de Alan Turing desempeñó un papel fundamental en este sentido. Otras formalizaciones del concepto de computabilidad son las máquinas de registro, el cálculo lambda (Alonzo Church), las funciones recursivas, las gramáticas de Chomsky (véase jerarquía de Chomsky) y los algoritmos de Markov.

Se demostró -con la importante participación del propio Alan Turing- que todos estos métodos tienen la misma potencia de cálculo (son igual de potentes). Pueden ser emulados por una máquina de Turing y, a la inversa, pueden emular a una máquina de Turing.

Definición formal: Una regla de cálculo para resolver un problema sólo se denomina algoritmo si existe una máquina de Turing equivalente a esta regla de cálculo que se detiene para cada entrada que tenga solución.

Un algoritmo es un procedimiento paso a paso para resolver un problema o alcanzar un objetivo. Suele ejecutarlo un ordenador, pero también puede utilizarse en otros contextos.

Un algoritmo es una descripción finita de un método de cálculo. El procedimiento debe ser finitamente descriptible, ejecutable y dinámico. Los pasos del procedimiento sólo pueden requerir una cantidad finita de memoria en cualquier momento (finitud dinámica). El procedimiento sólo puede requerir un número finito de pasos (programación). Además, el término algoritmo suele restringirse en la práctica a las siguientes propiedades:

El algoritmo debe dar el mismo resultado en las mismas condiciones (determinismo).

La siguiente norma a aplicar en el procedimiento está claramente definida en todo momento (determinismo).

Los algoritmos son uno de los temas centrales de la informática y las matemáticas. Son objeto de algunas áreas especializadas de la informática teórica, la teoría de la complejidad y la teoría de la computabilidad, y a veces se les dedica un campo independiente de algoritmos o teoría de algoritmos. En forma de programas informáticos y circuitos electrónicos, los algoritmos controlan ordenadores y otras máquinas.

Un algoritmo es una descripción abstracta de un proceso computacional que toma valores discretos como entrada y produce valores discretos como salida. El concepto de algoritmo está asociado a la idea de que cada método eficaz requiere un número finito de pasos (o movimientos), cada uno de los cuales está definido con precisión.

Existen diferentes tipos de algoritmos:

• Algoritmos de cálculo: Se utilizan para encontrar soluciones numéricas a problemas matemáticos. Esto incluye encontrar las raíces o ceros de funciones, resolver sistemas de ecuaciones lineales, etc.
• Algoritmos para la toma de decisiones: se utilizan para averiguar si se cumple o no una condición para determinados datos de entrada (por ejemplo, comprobar si un determinado número es primo).
• Algoritmos de búsqueda: Se utilizan para encontrar elementos en una lista o campo que cumplan una determinada propiedad (por ejemplo, buscar un elemento en una lista cuyo valor sea próximo a cero).

Los algoritmos son una parte esencial de la programación informática, pero también se utilizan en otros ámbitos. Por ejemplo, se utilizan para analizar los mercados de valores y detectar fraudes en las transacciones con tarjetas de crédito. Los algoritmos están presentes en muchos sectores y aplicaciones.