Discuter:Machine de Turing

Un article de Wikipédia, l'encyclopédie libre.

	Machine de Turing fait partie du projet Informatique, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés à l'informatique. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail informatique pourrait aussi vous intéresser.
B	Cet article a été classé comme d'Avancement B selon le Tableau d'évaluation du projet. (Voir les statistiques)
Élevée	Cet article a été classé comme d'Importance élevée selon le Tableau d'évaluation du projet. (Contester?)

Bonjour! Je connais pas grd chose à l'informatik, mais je lis dans Manuel de Landa (1991) qu'une "vraie machine de Turing", soit dans l'état abstrait dans lequel elle existait entre 1936 et 1950, soit dans sa forme présente, le PC, peut être défini comme "machine universelle", c'est-à-dire "une machine qui peut simuler les travaux de n'importe quelle autre machine. Cela, bien sûr, ne veut pas dire qu'une machine de Turing peut simuler des réfrigérateurs, des automobiles ou des grilles-pains. Plutôt, elle peut reproduire le comportement de n'importe quel machine qui opère avec des "symboles", ou des inscriptions physiques de quelque sorte que ce soit: machines à écrire, calculateurs, "piannolas" [je présume que ça veut dire: "synthétiseurs"] (...) Un processeur Word est simplement un programme informatique simulant le fonctionnement d'une machine à écrire" (p.129-130). Cette description me paraît particulièrement saisissante et explicative pour le novice que je suis, en particulier la dernière phrase expliquant qu'une machine de Turing, par exemple un processeur Word, simule une machine de symboles, c'est-à-dire/par exemple une machine à écrire, une calculette ou un synthé"... Je pense que ça serait une bonne idée de la reprendre dans l'article, en intro; je ne le fais pas moi-même n'étant pas très compétent, mais ça le mérite d'éclaircir ce qui reste pour nous autres des arcanes obscures... Ahbon? 8 mai 2006 à 19:13 (CEST)

Je ne suis pas sûr que cette idée soit forcément bonne. Il ne faut pas faire l'amalgame entre machine de Turing, qui est un outil abstrait utile à l'infomatique théorique et à la compréhension d'algorithme et de machines, avec les choses qui sont Turing-completes.

Justement, quelque part tu fais toi-même l'amalgame. Ton PC n'est pas une machine de Turing, mais est Turing-complet. Il ne faut pas non plus se mélanger avec le terme de machine universelle, qui dans le cadre des machines de Turing est une machine de Turing capable de simuler le fonctionnement de toute autre machine de Turing (et non pas n'importe quelle machine). C'est la thèse Church-Turing qui permet de dire que les machines de Turing peuvent simuler tout ce qui est mécaniquement réalisable. Le fait qu'un ordinateur soit Turing-complet n'en découle pas forcément à mon avis, et peut se montrer indépendemment.

Il n'est pas de mon intention de me moquer d'une quelconque ignorance. Mais je trouve la phrase d'introduction "Une machine de Turing est un modèle abstrait du fonctionnement d'un ordinateur et de sa mémoire" déjà assez informative et fausse (la machine de Turing ayant été créée avant l'ordinateur, elle n'a pas pu être faite pour simuler celui-ci.) Je vais d'ailleurs modifier cette introduction pour coller plus à la réalité.DainDwarf 13 juillet 2006 à 15:10 (CEST)

De toute façon le modèle de machine de Turing décrit ici, si je ne me trompe, n'est pas celui de Turing, mais celui de Kleene, proposé dans les années 50, donc après l'invention de l'ordinateur. Pierre de Lyon 9 avril 2007 à 14:40 (CEST)