La machine de Turing - 1 views
-
philippesalamank on 12 Aug 14La machine de Turing est un modèle de machine abstrait introduit en 1936 par le chercheur anglais Alan Turing [...] il propose une réponse [...] [au] problème de la décidabilité soit en substance: existe-t-il un algorithme qui décide si un énoncé formel dans un système logique est valide ou non.