About: Universal Turing machine

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Universal Turing machine Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
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)
dbo:wikiPageWikiLink	Alan Turing Alonzo Church dbpedia-fr:Architecture_de_von_Neumann dbpedia-fr:Automate_fini dbpedia-fr:Automatic_Computing_Engine First-order logic dbpedia-fr:Cambridge_University_Press category-fr:Alan_Turing category-fr:Théorie_de_la_complexité_des_algorithmes category-fr:Théorie_des_automates dbpedia-fr:Charles_Babbage dbpedia-fr:Cohérence_(logique) Kolmogorov complexity Completeness (logic) dbpedia-fr:David_Hilbert dbpedia-fr:Décidabilité ENIAC dbpedia-fr:Edward_Newman EDVAC Function (mathematics) General recursive function dbpedia-fr:Gottlob_Frege Computer science Theoretical computer science Jacques Herbrand dbpedia-fr:John_Eckert John Mauchly John von Neumann dbpedia-fr:Kurt_Gödel Lambda calculus dbpedia-fr:Langage_récursif Analytical Engine Turing machine Nondeterministic Turing machine Probabilistic Turing machine dbpedia-fr:Métier_Jacquard Stored-program computer Oxford University Press dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:Problème_de_la_décision dbpedia-fr:Programme_de_Hilbert dbpedia-fr:Récursivement_énumérable Manchester Baby dbpedia-fr:Stephen_Wolfram dbpedia-fr:Système_de_tague dbpedia-fr:Thèse_de_Church dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) Rice's theorem dbpedia-fr:Tom_Kilburn dbpedia-fr:Turing-complet dbpedia-fr:W._W._Norton_&_Company Martin Davis (mathematician) dbpedia-fr:Jim_Wilkinson dbpedia-fr:John_Womersley dbpedia-fr:Michael_Woodger
foaf:isPrimaryTopicOf	wikipedia-fr:Machine_de_Turing_universelle
is dbo:wikiPageWikiLink of	dbpedia-fr:A_New_Kind_of_Science dbpedia-fr:Automate Adiabatic quantum computation Kolmogorov complexity dbpedia-fr:Daniel_Dennett Hilbert's tenth problem dbpedia-fr:Gisbert_Hasenjaeger Quantum information science Theoretical computer science dbpedia-fr:Lenore_Blum Virtual machine dbpedia-fr:Oméga_de_Chaitin Stored-program computer Church–Turing–Deutsch principle dbpedia-fr:Probabilité_algorithmique dbpedia-fr:Ray_Solomonoff dbpedia-fr:Théorème_de_hiérarchie_en_temps_déterministe
is foaf:primaryTopic of	wikipedia-fr:Machine_de_Turing_universelle

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 4 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software