"186478118"^^ . . "978"^^ . . . . "Universele Turing-machine"@nl . "Lynn Arthur"@fr . . . "New York NY"@fr . . "en"@fr . . . . . . "M\u00E0quina universal de Turing"@ca . . . . "En informatique, plus pr\u00E9cis\u00E9ment en informatique th\u00E9orique, une machine de Turing universelle est une machine de Turing qui peut simuler n'importe quelle machine de Turing sur n'importe quelle entr\u00E9e. Une machine universelle prend en entr\u00E9e la description de la machine \u00E0 simuler et l'entr\u00E9e de cette derni\u00E8re. Alan Turing a imagin\u00E9 une telle machine en 1936. Cette machine est consid\u00E9r\u00E9e par certains (par exemple, Martin Davis) comme l'origine de l'ordinateur \u00E0 programme enregistr\u00E9 con\u00E7u par John von Neumann (1946) qui porte maintenant son nom : l'architecture de von Neumann."@fr . "579"^^ . . "Macchina di Turing universale"@it . "a modern approach"@fr . . "Engines of Logic"@fr . . . . "M\u00E1quina de Turing universal"@es . . . "Barak"@fr . . . . "What is Computation?"@fr . . . . . "Martin Davis"@fr . . "binary lambda calculus"@fr . . . . . "257"^^ . ":en:Lynn Steen"@fr . . "Oxford UK"@fr . . . . . "2000"^^ . . "15536"^^ . . "2004"^^ . . . . "Mathematicians and the Origin of the Computer"@fr . . . . ":en:Jack Copeland"@fr . "2009"^^ . . "Universelle Turingmaschine"@de . "613"^^ . . . "7001167"^^ . "\u00E9diteur"@fr . . . "Sanjeev"@fr . . . . . . . "0"^^ . . . . "Arora"@fr . . "The Essential Turing : Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma"@fr . . . . . "Mathematics Today"@fr . . "En informatique, plus pr\u00E9cis\u00E9ment en informatique th\u00E9orique, une machine de Turing universelle est une machine de Turing qui peut simuler n'importe quelle machine de Turing sur n'importe quelle entr\u00E9e. Une machine universelle prend en entr\u00E9e la description de la machine \u00E0 simuler et l'entr\u00E9e de cette derni\u00E8re. Alan Turing a imagin\u00E9 une telle machine en 1936. Cette machine est consid\u00E9r\u00E9e par certains (par exemple, Martin Davis) comme l'origine de l'ordinateur \u00E0 programme enregistr\u00E9 con\u00E7u par John von Neumann (1946) qui porte maintenant son nom : l'architecture de von Neumann."@fr . "1"^^ . "lambda-calcul binaire"@fr . "Machine de Turing universelle"@fr . . . . . . "Boaz"@fr . . . . "Sanjeev Arora"@fr . "\u0423\u043D\u0456\u0432\u0435\u0440\u0441\u0430\u043B\u044C\u043D\u0430 \u043C\u0430\u0448\u0438\u043D\u0430 \u0422\u044E\u0440\u0456\u043D\u0433\u0430"@uk . . "Vintage Books"@fr . . . . "Copeland"@fr . . "\u901A\u7528\u5716\u9748\u6A5F"@zh . . . . . "Computational complexity"@fr . "Martin"@fr . . . "Davis"@fr . . "Universal Turing machine"@en . . . "Twelve Informal Essays"@fr . . . "http://www.cs.princeton.edu/theory/complexity/|num\u00E9ro chapitre=1.4 & 1.7"@fr . . "Jack"@fr . . . "Machines as strings and the universal Turing machine \u00BB et \u00AB Proof of theorem 1.9"@fr . . . . . "Steen"@fr . . . . "Cambridge New York"@fr .