Property |
Value |
dbo:abstract
|
- En informatique, plus précisément en informatique théorique, une machine de Turing universelle est une machine de Turing qui peut simuler n'importe quelle machine de Turing sur n'importe quelle entrée. Une machine universelle prend en entrée la description de la machine à simuler et l'entrée de cette dernière. Alan Turing a imaginé une telle machine en 1936. Cette machine est considérée par certains (par exemple, Martin Davis) comme l'origine de l'ordinateur à programme enregistré conçu par John von Neumann (1946) qui porte maintenant son nom : l'architecture de von Neumann. (fr)
- En informatique, plus précisément en informatique théorique, une machine de Turing universelle est une machine de Turing qui peut simuler n'importe quelle machine de Turing sur n'importe quelle entrée. Une machine universelle prend en entrée la description de la machine à simuler et l'entrée de cette dernière. Alan Turing a imaginé une telle machine en 1936. Cette machine est considérée par certains (par exemple, Martin Davis) comme l'origine de l'ordinateur à programme enregistré conçu par John von Neumann (1946) qui porte maintenant son nom : l'architecture de von Neumann. (fr)
|
dbo:thumbnail
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 15536 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 2000 (xsd:integer)
- 2004 (xsd:integer)
- 2009 (xsd:integer)
|
prop-fr:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
prop-fr:langue
| |
prop-fr:lienAuteur
|
- Martin Davis (fr)
- Sanjeev Arora (fr)
- :en:Jack Copeland (fr)
- :en:Lynn Steen (fr)
- Martin Davis (fr)
- Sanjeev Arora (fr)
- :en:Jack Copeland (fr)
- :en:Lynn Steen (fr)
|
prop-fr:lieu
|
- Cambridge New York (fr)
- New York NY (fr)
- Oxford UK (fr)
- Cambridge New York (fr)
- New York NY (fr)
- Oxford UK (fr)
|
prop-fr:lireEnLigne
|
- http://www.cs.princeton.edu/theory/complexity/|numéro chapitre=1.4 & 1.7 (fr)
- http://www.cs.princeton.edu/theory/complexity/|numéro chapitre=1.4 & 1.7 (fr)
|
prop-fr:nom
|
- Davis (fr)
- Steen (fr)
- Copeland (fr)
- Barak (fr)
- Arora (fr)
- Davis (fr)
- Steen (fr)
- Copeland (fr)
- Barak (fr)
- Arora (fr)
|
prop-fr:numéroD'édition
| |
prop-fr:pagesTotales
|
- 257 (xsd:integer)
- 579 (xsd:integer)
- 613 (xsd:integer)
|
prop-fr:prénom
|
- Martin (fr)
- Sanjeev (fr)
- Jack (fr)
- Boaz (fr)
- Lynn Arthur (fr)
- Martin (fr)
- Sanjeev (fr)
- Jack (fr)
- Boaz (fr)
- Lynn Arthur (fr)
|
prop-fr:responsabilité
|
- éditeur (fr)
- What is Computation? (fr)
- éditeur (fr)
- What is Computation? (fr)
|
prop-fr:sousTitre
|
- a modern approach (fr)
- Mathematicians and the Origin of the Computer (fr)
- Twelve Informal Essays (fr)
- a modern approach (fr)
- Mathematicians and the Origin of the Computer (fr)
- Twelve Informal Essays (fr)
|
prop-fr:texte
|
- lambda-calcul binaire (fr)
- lambda-calcul binaire (fr)
|
prop-fr:titre
|
- Computational complexity (fr)
- Engines of Logic (fr)
- Mathematics Today (fr)
- The Essential Turing : Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma (fr)
- Computational complexity (fr)
- Engines of Logic (fr)
- Mathematics Today (fr)
- The Essential Turing : Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma (fr)
|
prop-fr:titreChapitre
|
- Machines as strings and the universal Turing machine » et « Proof of theorem 1.9 (fr)
- Machines as strings and the universal Turing machine » et « Proof of theorem 1.9 (fr)
|
prop-fr:trad
|
- binary lambda calculus (fr)
- binary lambda calculus (fr)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
| |
dct:subject
| |
rdfs:comment
|
- En informatique, plus précisément en informatique théorique, une machine de Turing universelle est une machine de Turing qui peut simuler n'importe quelle machine de Turing sur n'importe quelle entrée. Une machine universelle prend en entrée la description de la machine à simuler et l'entrée de cette dernière. Alan Turing a imaginé une telle machine en 1936. Cette machine est considérée par certains (par exemple, Martin Davis) comme l'origine de l'ordinateur à programme enregistré conçu par John von Neumann (1946) qui porte maintenant son nom : l'architecture de von Neumann. (fr)
- En informatique, plus précisément en informatique théorique, une machine de Turing universelle est une machine de Turing qui peut simuler n'importe quelle machine de Turing sur n'importe quelle entrée. Une machine universelle prend en entrée la description de la machine à simuler et l'entrée de cette dernière. Alan Turing a imaginé une telle machine en 1936. Cette machine est considérée par certains (par exemple, Martin Davis) comme l'origine de l'ordinateur à programme enregistré conçu par John von Neumann (1946) qui porte maintenant son nom : l'architecture de von Neumann. (fr)
|
rdfs:label
|
- Macchina di Turing universale (it)
- Machine de Turing universelle (fr)
- Màquina universal de Turing (ca)
- Máquina de Turing universal (es)
- Universal Turing machine (en)
- Universele Turing-machine (nl)
- Universelle Turingmaschine (de)
- 通用圖靈機 (zh)
- Універсальна машина Тюрінга (uk)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |