T-shirt Il y a un algorithme pour cela

Dans les mathématiques et de l'informatique, un algorithme (d'Algoritmi, la forme latine d'Al-Khwārizmī) est une procédure étape-par-étape pour des calculs. Des algorithmes sont employés pour le calcul, l'informatique, et le raisonnement automatisé. Plus avec précision, un algorithme est une méthode efficace exprimée comme une liste finie [1] d'instructions bien définies pour calculer une fonction. À partir d'un premier état et d'une entrée initiale (peut-être vide), les instructions décrivent un calcul qui, quand exécuté, procédera par un nombre fini d'états successifs bien définis, par la suite produisant la "production"] et se terminant à un état final de fin. La transition d'un état au prochain n'est pas nécessairement déterministe ; quelques algorithmes, algorithmes asrandomized connus, entrée aléatoire incorporée. Une formalisation partielle du concept a commencé par des tentatives de résoudre l'Entscheidungsproblem (le "problème de décision") posé par David Hilbert en 1928. Des formalisations suivantes ont été encadrées en tant que tentatives de définir "le calculability efficace" ou "la méthode efficace" ; ces formalisations ont inclus les fonctions récurrentes de Gödel-Herbrand-Kleene 1930, 1934 et 1935, du calcul de lambda d'Alonzo Church de 1936, formulation 1" du courrier d'Emil de la "de 1936, et des machines de Turing d'Alan Turing de 1936-7 et de 1939. Donner une définition formelle des algorithmes, correspondant à la notion intuitive, reste un problème provocant.