This HTML5 document contains 156 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
n25http://www.cs.princeton.edu/theory/complexity/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n37http://g.co/kg/m/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-hrhttp://hr.dbpedia.org/resource/
n17https://d-nb.info/gnd/
dbpedia-srhttp://sr.dbpedia.org/resource/
n36https://www.quora.com/topic/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
n9http://fr.dbpedia.org/resource/Modèle:
n34http://fr.dbpedia.org/resource/Fichier:
n12http://commons.wikimedia.org/wiki/Special:FilePath/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
n30http://mwl.dbpedia.org/resource/
n33http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
dbpedia-bghttp://bg.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-nlhttp://nl.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Machine_de_Turing_universelle
rdfs:label
Universele Turing-machine Màquina universal de Turing Macchina di Turing universale Máquina de Turing universal Universelle Turingmaschine Machine de Turing universelle Універсальна машина Тюрінга 通用圖靈機 Universal Turing machine
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.
rdfs:seeAlso
n36:Universal-Turing-Machine
owl:sameAs
dbpedia-ru:Универсальная_машина_Тьюринга dbpedia-it:Macchina_di_Turing_universale dbpedia-de:Universelle_Turingmaschine dbpedia-ca:Màquina_universal_de_Turing dbpedia-zh:通用圖靈機 dbpedia-ar:آلة_تورينج_العالمية dbr:Universal_Turing_machine n17:4203523-5 dbpedia-hr:Univerzalni_Turingov_stroj dbpedia-pt:Máquina_de_Turing_universal dbpedia-nl:Universele_Turing-machine wikidata:Q2703890 dbpedia-sr:Универзална_Тјурингова_машина dbpedia-bg:Универсална_машина_на_Тюринг dbpedia-es:Máquina_de_Turing_universal dbpedia-uk:Універсальна_машина_Тюрінга n30:Máquina_de_Turing_ounibersal dbpedia-fa:ماشین_تورینگ_جهانی n33:131671149 dbpedia-el:Καθολική_Μηχανή_Τούρινγκ n37:0jdlh
dbo:wikiPageID
7001167
dbo:wikiPageRevisionID
186478118
dbo:wikiPageWikiLink
dbpedia-fr:Automatic_Computing_Engine dbpedia-fr:Problème_de_la_décision dbpedia-fr:Informatique_théorique dbpedia-fr:Turing-complet dbpedia-fr:Kurt_Gödel dbpedia-fr:John_William_Mauchly dbpedia-fr:Ordinateur_à_programme_enregistré dbpedia-fr:Fonction_récursive dbpedia-fr:Oxford_University_Press dbpedia-fr:Stephen_Wolfram dbpedia-fr:Fonction_(mathématiques) dbpedia-fr:Métier_Jacquard dbpedia-fr:Informatique dbpedia-fr:Electronic_Discrete_Variable_Automatic_Computer dbpedia-fr:Machine_de_Turing_probabiliste dbpedia-fr:Machine_de_Turing_non_déterministe dbpedia-fr:Machine_de_Turing category-fr:Théorie_des_automates dbpedia-fr:Cambridge_University_Press dbpedia-fr:Automate_fini category-fr:Théorie_de_la_complexité_des_algorithmes dbpedia-fr:Thèse_de_Church dbpedia-fr:David_Hilbert dbpedia-fr:Complétude_(logique) dbpedia-fr:Alonzo_Church dbpedia-fr:Machine_analytique dbpedia-fr:Tom_Kilburn dbpedia-fr:Programme_de_Hilbert dbpedia-fr:Architecture_de_von_Neumann dbpedia-fr:Jacques_Herbrand dbpedia-fr:Alan_Turing dbpedia-fr:Langage_récursif category-fr:Alan_Turing dbpedia-fr:Martin_Davis dbpedia-fr:Michael_Woodger dbpedia-fr:ENIAC dbpedia-fr:John_Womersley dbpedia-fr:Charles_Babbage dbpedia-fr:Complexité_de_Kolmogorov dbpedia-fr:John_von_Neumann dbpedia-fr:Système_de_tague dbpedia-fr:Cohérence_(logique) dbpedia-fr:Edward_Newman dbpedia-fr:Small-Scale_Experimental_Machine dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Récursivement_énumérable n34:Machine_de_turing_universelle.svg dbpedia-fr:Jim_Wilkinson dbpedia-fr:Gottlob_Frege dbpedia-fr:W._W._Norton_&_Company dbpedia-fr:Théorème_de_Rice dbpedia-fr:John_Eckert dbpedia-fr:Décidabilité dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:Lambda-calcul
dbo:wikiPageExternalLink
n25:%7Cnum%C3%A9ro
dbo:wikiPageLength
15536
dct:subject
category-fr:Théorie_des_automates category-fr:Théorie_de_la_complexité_des_algorithmes category-fr:Alan_Turing
prop-fr:wikiPageUsesTemplate
n9:Ouvrage n9:, n9:Section_à_sourcer n9:Lien n9:Refnec n9:Référence_nécessaire n9:Références n9:Portail n9:Sources_secondaires n9:Énoncé n9:Travail_inédit n9:Date-
prov:wasDerivedFrom
wikipedia-fr:Machine_de_Turing_universelle?oldid=186478118&ns=0
foaf:depiction
n12:Machine_de_turing_universelle.svg
prop-fr:année
2000 2004 2009
prop-fr:isbn
978 0
prop-fr:langue
en
prop-fr:lienAuteur
Martin Davis :en:Lynn Steen :en:Jack Copeland Sanjeev Arora
prop-fr:lieu
New York NY Oxford UK Cambridge New York
prop-fr:lireEnLigne
http://www.cs.princeton.edu/theory/complexity/|numéro chapitre=1.4 & 1.7
prop-fr:nom
Barak Arora Copeland Davis Steen
prop-fr:pagesTotales
579 257 613
prop-fr:prénom
Lynn Arthur Sanjeev Boaz Martin Jack
prop-fr:responsabilité
What is Computation? éditeur
prop-fr:sousTitre
a modern approach Mathematicians and the Origin of the Computer Twelve Informal Essays
prop-fr:texte
lambda-calcul binaire
prop-fr:titre
Engines of Logic The Essential Turing : Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma Mathematics Today Computational complexity
prop-fr:titreChapitre
Machines as strings and the universal Turing machine » et « Proof of theorem 1.9
prop-fr:trad
binary lambda calculus
prop-fr:éditeur
dbpedia-fr:Cambridge_University_Press dbpedia-fr:W._W._Norton_&_Company dbpedia-fr:Oxford_University_Press Vintage Books
prop-fr:numéroD'édition
1
dbo:thumbnail
n12:Machine_de_turing_universelle.svg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Machine_de_Turing_universelle
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.