Camiseta Hay un algoritmo para eso

En matemáticas y de informática, un algoritmo (de Algoritmi, la forma latina de al-Khwārizmī) es un procedimiento gradual para los cálculos. Los algoritmos se utilizan para el cálculo, la informática, y el razonamiento automatizado. Más exacto, un algoritmo es un método eficaz expresado como lista finita [1] de instrucciones bien definidas para calcular una función. A partir de un estado inicial y una entrada inicial (quizás vacío), las instrucciones describen un cómputo que, cuando está ejecutado, proceda con un número finito de estados sucesivos bien definidos, produciendo "salida"] y terminando eventual en un estado final de la conclusión. La transición a partir de un estado al siguiente no es necesariamente determinista; algunos algoritmos, algoritmos asrandomized sabidos, entrada al azar incorporada. Una formalización parcial del concepto comenzó con tentativas de solucionar el Entscheidungsproblem (el "problema de decisión") presentado por David Hilbert en 1928. Las formalizaciones subsiguientes fueron enmarcadas como tentativas de definir "calculability eficaz" o "método eficaz"; esas formalizaciones incluyeron las funciones recurrentes de Gödel-Herbrand-Kleene 1930, 1934 y 1935, del cálculo de la lambda de Alonzo Church de 1936, formulación 1" del poste de Emilio de la "de 1936, y de las máquinas de Turing de Alan Turing de 1936-7 y 1939. El donante de una definición formal de algoritmos, correspondiente a la noción intuitiva, sigue siendo un problema desafiador.