This HTML5 document contains 63 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/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n4http://g.co/kg/m/
dbpedia-hehttp://he.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-srhttp://sr.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
n15http://fr.dbpedia.org/resource/Modèle:
dbpedia-fihttp://fi.dbpedia.org/resource/
n22http://fr.dbpedia.org/resource/Fichier:
wikipedia-frhttp://fr.wikipedia.org/wiki/
n24http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n32http://ma-graph.org/entity/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Oracle_(machine_de_Turing)
rdfs:label
神託機械 Oracle (machine de Turing) Màquina oracle Oracle machine Вычисления с оракулом Máquina oráculo 預言機
rdfs:comment
En théorie de la complexité ou de la calculabilité, les machines de Turing avec oracle sont une variante des machines de Turing disposant d'une boîte noire, un oracle, capable de résoudre un problème de décision en une seule opération élémentaire. En particulier, l'oracle peut résoudre en temps constant un problème indécidable comme le problème de l'arrêt. Les machines de Turing avec oracle servent notamment à définir la hiérarchie polynomiale ou la hiérarchie arithmétique.
owl:sameAs
n4:05m47 dbpedia-pt:Máquina_oráculo dbpedia-ja:神託機械 dbpedia-ko:신탁_기계 dbpedia-uk:Пророча_машина dbpedia-tr:Kâhinli_Turing_makinesi wikidata:Q1143357 dbpedia-he:אורקל_(מדעי_המחשב) dbpedia-zh:預言機 dbpedia-ca:Màquina_oracle dbpedia-fi:Oraakkelikone dbpedia-fa:ماشین_اوراکل dbpedia-ru:Вычисления_с_оракулом dbpedia-sr:Пророчка_машина dbr:Oracle_machine dbpedia-de:Orakel-Turingmaschine dbpedia-pl:Maszyna_Turinga_z_wyrocznią dbpedia-es:Máquina_oráculo n32:104108587
dbo:wikiPageID
267793
dbo:wikiPageRevisionID
167249366
dbo:wikiPageWikiLink
dbpedia-fr:P_(complexité) dbpedia-fr:Théorème_de_Toda dbpedia-fr:NP_(complexité) dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Hiérarchie_polynomiale dbpedia-fr:Théorie_de_la_calculabilité n22:Machine_turing_oracle.svg category-fr:Théorie_de_la_complexité_des_algorithmes dbpedia-fr:Machine_de_Turing dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:Problème_SAT dbpedia-fr:Hiérarchie_arithmétique dbpedia-fr:PSPACE dbpedia-fr:Problème_de_décision dbpedia-fr:Problème_P_≟_NP dbpedia-fr:Décidabilité category-fr:Calculabilité dbpedia-fr:Complet_(complexité)
dbo:wikiPageLength
6053
dct:subject
category-fr:Théorie_de_la_complexité_des_algorithmes category-fr:Calculabilité
prop-fr:wikiPageUsesTemplate
n15:P. n15:Références n15:Ébauche n15:Portail n15:Pas_clair n15:Computational_Complexity_(Papadimitriou) n15:Voir_homonymes n15:Langue
prov:wasDerivedFrom
wikipedia-fr:Oracle_(machine_de_Turing)?oldid=167249366&ns=0
foaf:depiction
n24:Machine_turing_oracle.svg
dbo:thumbnail
n24:Machine_turing_oracle.svg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Oracle_(machine_de_Turing)
dbo:abstract
En théorie de la complexité ou de la calculabilité, les machines de Turing avec oracle sont une variante des machines de Turing disposant d'une boîte noire, un oracle, capable de résoudre un problème de décision en une seule opération élémentaire. En particulier, l'oracle peut résoudre en temps constant un problème indécidable comme le problème de l'arrêt. Les machines de Turing avec oracle servent notamment à définir la hiérarchie polynomiale ou la hiérarchie arithmétique.