Alan Turing

-Société de production : Orion Pictures -Distribution : Orion Pictures -Genre : Drame - Pays : États-Unis -Durée : 126 minutes - Sortie : 1988 -Réalisation : Alan Parker -Scénario : Chris Gerolmo -Montage : Gerry Hambling -Photographie : Peter Biziou -Musique : Trevor Jones -Production : Frederick Zollo & Robert Colesberry

petit programme ´crit pour e une machine universelle qui g´n`re le message. e e Notion de machine universelle U (ex : machine de turing) Notion de machine optimale M : KM (m) ≤ KU (m) + CU universalit´ e Mais : K (m) n’est pas calculable ! Notion de machine universelle Th`se de Church-Turing : Tout probl`me “algorithmique” e e peut ˆtre r´solu par une machine de Turing. e e -0- Un ruban plein de ’0’ o` on peut ´crire des ’1’ u e -1- Une tˆte qui peut lire/´crire des 0/1 e e -2- Et se d´placer

.... 4 2.2. LE PROJET BRITANNIQUE......................................................................................................................4 A) L'ARTICLE DE 1936 : LA MACHINE DE TURING..........................................................................................4 B) L'OEUVRE DE TURING PENDANT LA GUERRE: L'AUTOMATISATION DU RENSEIGNEMENT...................................... 4 C) L'ARTICLE DE 1947 : « CONSTRUIRE UN CERVEAU ».................................................

modèle général de machines procédant de manière logique (_Logical__ Computing Machine_) - les fameuses machines de Turing, capables d'effectuer mécaniquement tous les algorithmes possibles et imaginables, déjà découverts ou qui le seront jusqu'à la fin des temps. La thèse, dite de Church-Turing, selon laquelle tous les algorithmes sont représentables et effectuables sur une Machine de Turing, est aujourd'hui universellement acceptée. Il a même été démontré de manière formelle que les mécanismes de toutes

réactions émotionnelles immédiates chez le sujet. Les réactions biologiques de ce dernier sont ensuite évaluées à l’aide d’un dispositif calculant les variations de la respiration, cardiaque et de la dilatation de la pupille. À la manière du test de Turing, le test de Voight-Kampff permet de déterminer si le sujet est humain ou réplicant. Ainsi, dès le début du film, la nature humaine est définie grâce à une série de réactions à des questions. Or, un peu plus tard dans le film, le personnage de Rachel

satisfiabilité d’une forme normale conjonctive dont les clauses sont la disjonction de trois littéraux. III.1.2 Preuve de la NP-complétude de 3-SAT [5] Le problème 3-SAT est un problème NP car il est décidable en temps polynomial par une machine de Turing non déterministe. Nous Pour prouver son NP-complétude, il ne reste plus qu’à lui réduire SAT. Soit un ensemble de l’ensemble de ces littéraux et soit disjonctions de littéraux, la conjonction des clauses : On construit un ensemble de clauses à

avons vues jusqu’à présent dans ce cours. 3 1 Modèles de calcul • Les machines de Turing (TM) ou les Random Access Machines (RAM) sont des machines abstraites. Elles servent d’« étalon » à la mesure des complexités en temps et en espace des fonctions dites calculables. Thèse de Church*-Turing ** (indépendamment mais les 2 en 1936) Toute fonction effectivement calculable l’est par une machine de Turing. • Notre optique ici n’est évidemment pas de présenter la théorie de la calculabilité mais

automates finis, les automates à pile et les machines de turing, L’aspect génération par les grammaires régulières, non contextuelles et contextuelles, et L’aspect représentation par propriétés mesurables, définitions récursives et expressions régulières. Théorie des langages I. Mots et langages II. Les automates finis et les langages réguliers III. Les grammaires IV. Les grammaires non contextuelles V. Les automates à piles VI. Les machines de Turing I. Mots et langages Plan I.1. Vocabulaire et Mot

le dialauge de directeur 2 donc I.H est calculer par des machines au q.i oui, mais le test de turing n'est pas fiable , comment savoir si le juge apte à décider si c'est une ersonne ou un robot deux types de l'IA : faible et forte l'intilligance faibles : des compositions d’algorithmes capables de résoudre des problèmes pour créer un système autonome. imite le comportement humain dans une conversation. Cette machine ne comprendra pas la conversation, elle ne répondra que par des mots clé ou des

Sud iv Table des matières 11.5 Codages des arbres de syntaxe abstraite . . . . . . . . . . . . . . . . . . . . . . . . 72 11.6 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 12 Machines de Turing 73 12.1 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 13 Complexité en temps et en espace 74 13.1 Classes de complexité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .