Browse Wiki & Semantic Web

Jump to: navigation, search
Http://fr.dbpedia.org/resource/Machine de Turing
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://fr.dbpedia.org/resource/Machine_de_Turing
http://dbpedia.org/ontology/abstract En informatique théorique, une machine de … En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur. Ce modèle a été imaginé par Alan Turing en 1936, en vue de donner une définition précise au concept d’algorithme ou de « procédure mécanique ».Il est toujours largement utilisé en informatique théorique, en particulier dans les domaines de la complexité algorithmique et de la calculabilité. À l'origine, le concept de machine de Turing, inventé avant l'ordinateur, était censé représenter une personne virtuelle exécutant une procédure bien définie, en changeant le contenu des cases d'un ruban infini, en choisissant ce contenu parmi un ensemble fini de symboles. D'autre part, à chaque étape de la procédure, la personne doit se placer dans un état particulier parmi un ensemble fini d'états. La procédure est formulée en termes d'étapes élémentaires du type : « si vous êtes dans l'état 42 et que le symbole contenu sur la case que vous regardez est « 0 », alors remplacer ce symbole par un « 1 », passer dans l'état 17, et regarder maintenant la case adjacente à droite ». La thèse de Church postule que tout problème de calcul fondé sur une procédure algorithmique peut être résolu par une machine de Turing. Cette thèse n'est pas un énoncé mathématique, puisqu'elle ne suppose pas une définition précise des procédures algorithmiques. En revanche, il est possible de définir une notion de « système acceptable de programmation » et de démontrer que le pouvoir de tels systèmes est équivalent à celui des machines de Turing (ils sont Turing-complets).ines de Turing (ils sont Turing-complets).
http://dbpedia.org/ontology/discoverer http://fr.dbpedia.org/resource/Alan_Turing +
http://dbpedia.org/ontology/namedAfter http://fr.dbpedia.org/resource/Alan_Turing +
http://dbpedia.org/ontology/thumbnail http://commons.wikimedia.org/wiki/Special:FilePath/Maquina.png?width=300 +
http://dbpedia.org/ontology/wikiPageExternalLink https://books.google.com/books%3Fid=HZAjPwAACAAJ + , http://videotheque.cnrs.fr/doc=3001 + , https://interstices.info/comment-fonctionne-une-machine-de-turing/ + , http://smf.emath.fr/content/conf%C3%A9rence-bnf-2014-b-chazelle + , http://www.turingarchive.org/browse.php/K/4 + , https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf +
http://dbpedia.org/ontology/wikiPageID 54894
http://dbpedia.org/ontology/wikiPageLength 23376
http://dbpedia.org/ontology/wikiPageRevisionID 190378450
http://dbpedia.org/ontology/wikiPageWikiLink http://fr.dbpedia.org/resource/Out_of_memory + , http://fr.dbpedia.org/resource/Fichier:Machinedeturing.jpg + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Th%C3%A9orie_des_automates + , http://fr.dbpedia.org/resource/Alphabet + , http://fr.dbpedia.org/resource/Fichier:Machine_de_Turing_p%C3%A9dagogique.jpg + , http://fr.dbpedia.org/resource/Exp%C3%A9rience_de_pens%C3%A9e + , http://fr.dbpedia.org/resource/Symbole + , http://fr.dbpedia.org/resource/Informatique_th%C3%A9orique + , http://fr.dbpedia.org/resource/Alan_Turing + , http://fr.dbpedia.org/resource/Fonction_r%C3%A9cursive + , http://fr.dbpedia.org/resource/Vuibert + , http://fr.dbpedia.org/resource/Stephen_Cole_Kleene + , http://fr.dbpedia.org/resource/Wikt:r%C3%A9ifier + , http://fr.dbpedia.org/resource/Fichier:Lego_Turing_Machine.jpg + , http://fr.dbpedia.org/resource/%C3%89cole_normale_sup%C3%A9rieure_de_Lyon + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Alan_Turing + , http://fr.dbpedia.org/resource/Oracle_%28machine_de_Turing%29 + , http://fr.dbpedia.org/resource/Probl%C3%A8me_de_la_d%C3%A9cision + , http://fr.dbpedia.org/resource/Th%C3%A8se_de_Church + , http://fr.dbpedia.org/resource/Algorithmique + , http://fr.dbpedia.org/resource/Langage_r%C3%A9cursif + , http://fr.dbpedia.org/resource/Emil_Post + , http://fr.dbpedia.org/resource/Th%C3%A9orie_de_la_calculabilit%C3%A9 + , http://fr.dbpedia.org/resource/Th%C3%A9orie_de_la_complexit%C3%A9_%28informatique_th%C3%A9orique%29 + , http://fr.dbpedia.org/resource/Jean_Largeault + , http://fr.dbpedia.org/resource/%C3%89ditions_C%C3%A9padu%C3%A8s + , http://fr.dbpedia.org/resource/Bernard_Chazelle + , http://fr.dbpedia.org/resource/Fonction_constructible + , http://fr.dbpedia.org/resource/R%C3%A9cursivement_%C3%A9num%C3%A9rable + , http://fr.dbpedia.org/resource/Magenta_%28couleur%29 + , http://fr.dbpedia.org/resource/Imitation_Game + , http://fr.dbpedia.org/resource/Biblioth%C3%A8que_nationale_de_France + , http://fr.dbpedia.org/resource/Benedict_Cumberbatch + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Mod%C3%A8les_de_calcul + , http://fr.dbpedia.org/resource/Turing-complet + , http://fr.dbpedia.org/resource/Machine_de_Turing_probabiliste + , http://fr.dbpedia.org/resource/Machine_de_Turing_sym%C3%A9trique + , http://fr.dbpedia.org/resource/Machine_de_Turing_non_d%C3%A9terministe + , http://fr.dbpedia.org/resource/Machine_de_Turing_alternante + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logique_math%C3%A9matique + , http://fr.dbpedia.org/resource/Simulation_informatique + , http://fr.dbpedia.org/resource/Machine_de_Blum-Shub-Smale + , http://fr.dbpedia.org/resource/Dover_Publications + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Calculabilit%C3%A9 + , http://fr.dbpedia.org/resource/Jean-Yves_Girard + , http://fr.dbpedia.org/resource/Lego + , http://fr.dbpedia.org/resource/Calculatrice_m%C3%A9canique + , http://fr.dbpedia.org/resource/Fichier:Maquina.png + , http://fr.dbpedia.org/resource/Ordinateur + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Th%C3%A9orie_de_la_complexit%C3%A9_des_algorithmes +
http://fr.dbpedia.org/property/année 1936 , 1995 , 1992 , 2008 , 2009 , 1967 , 1952
http://fr.dbpedia.org/property/auteur http://fr.dbpedia.org/resource/Jean-Yves_Girard + , http://fr.dbpedia.org/resource/Stephen_Cole_Kleene + , http://fr.dbpedia.org/resource/Alan_Turing + , Olivier Carton , Éric Jacopin , Hamdi Ben Abdallah , Alan Turing , Stephen Cole Kleene , Jean-Michel Autebert
http://fr.dbpedia.org/property/commons Category:Turing machines
http://fr.dbpedia.org/property/date "2013-03-22"^^xsd:date
http://fr.dbpedia.org/property/isbn 9782020369282 , 978
http://fr.dbpedia.org/property/journal Proceedings of the London Mathematical Society, série 2
http://fr.dbpedia.org/property/langue fr
http://fr.dbpedia.org/property/lieu Toulouse , Amsterdam , Paris
http://fr.dbpedia.org/property/lireEnLigne http://www.turingarchive.org/browse.php/K/4 + , https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf + , https://interstices.info/comment-fonctionne-une-machine-de-turing/ +
http://fr.dbpedia.org/property/pages 230
http://fr.dbpedia.org/property/pagesTotales 192 , 237 , 264 , x+550 , 118
http://fr.dbpedia.org/property/plume oui
http://fr.dbpedia.org/property/présentationEnLigne https://books.google.com/books%3Fid=HZAjPwAACAAJ +
http://fr.dbpedia.org/property/périodique Interstices
http://fr.dbpedia.org/property/référenceSimplifiée Référence:La machine de Turing
http://fr.dbpedia.org/property/sousTitre Introduction à la caractérisation de la complexité d'un problème , licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques
http://fr.dbpedia.org/property/sudoc 2676494 , 132323214 , 128299258 , 5505526
http://fr.dbpedia.org/property/titre Introduction to Metamathematics , On Computable Numbers, with an Application to the Entscheidungsproblem , Mathematical Logic , Précis of ‘Computable Numbers’ , Calculabilité et décidabilité , Les machines de Turing , Comment fonctionne une machine de Turing ? , Langages formels, calculabilité et complexité , La machine de Turing
http://fr.dbpedia.org/property/volume 45
http://fr.dbpedia.org/property/wikiPageUsesTemplate http://fr.dbpedia.org/resource/Mod%C3%A8le:Article_d%C3%A9taill%C3%A9 + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Autres_projets + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Article + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Rouge + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Fr + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Homonyme + , http://fr.dbpedia.org/resource/Mod%C3%A8le:En + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Commentaire_biblio_SRL + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Date- + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Lien + , http://fr.dbpedia.org/resource/Mod%C3%A8le:L%C3%A9gende_plume + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Isbn + , http://fr.dbpedia.org/resource/Mod%C3%A8le:ISBN + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Pas_clair + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Ouvrage + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Palette + , http://fr.dbpedia.org/resource/Mod%C3%A8le:%2C + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail + , http://fr.dbpedia.org/resource/Mod%C3%A8le:R%C3%A9f%C3%A9rences + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Magenta +
http://fr.dbpedia.org/property/wikiversity Calculabilité et complexité
http://fr.dbpedia.org/property/wikiversityTitre Calculabilité et complexité
http://fr.dbpedia.org/property/wikt machine de Turing
http://fr.dbpedia.org/property/éditeur http://fr.dbpedia.org/resource/Dover_Publications + , http://fr.dbpedia.org/resource/Vuibert + , http://fr.dbpedia.org/resource/%C3%89ditions_C%C3%A9padu%C3%A8s + , Éditions du Seuil , Masson , North-Holland
http://purl.org/dc/terms/subject http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logique_math%C3%A9matique + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Alan_Turing + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Calculabilit%C3%A9 + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Mod%C3%A8les_de_calcul + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Th%C3%A9orie_de_la_complexit%C3%A9_des_algorithmes + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Th%C3%A9orie_des_automates +
http://www.w3.org/ns/prov#wasDerivedFrom http://fr.wikipedia.org/wiki/Machine_de_Turing?oldid=190378450&ns=0 +
http://xmlns.com/foaf/0.1/depiction http://commons.wikimedia.org/wiki/Special:FilePath/Machinedeturing.jpg + , http://commons.wikimedia.org/wiki/Special:FilePath/Maquina.png + , http://commons.wikimedia.org/wiki/Special:FilePath/Machine_de_Turing_p%C3%A9dagogique.jpg + , http://commons.wikimedia.org/wiki/Special:FilePath/Lego_Turing_Machine.jpg +
http://xmlns.com/foaf/0.1/isPrimaryTopicOf http://fr.wikipedia.org/wiki/Machine_de_Turing +
owl:sameAs https://id.loc.gov/authorities/names/sh85138778 + , http://sh.dbpedia.org/resource/Turingov_stroj + , http://ka.dbpedia.org/resource/%E1%83%A2%E1%83%A3%E1%83%A0%E1%83%98%E1%83%9C%E1%83%92%E1%83%98%E1%83%A1_%E1%83%9B%E1%83%90%E1%83%9C%E1%83%A5%E1%83%90%E1%83%9C%E1%83%90 + , http://commons.dbpedia.org/resource/Turing_Machine + , http://zh.dbpedia.org/resource/%E5%9B%BE%E7%81%B5%E6%9C%BA + , http://g.co/kg/m/07h4k + , http://mk.dbpedia.org/resource/%D0%A2%D1%98%D1%83%D1%80%D0%B8%D0%BD%D0%B3%D0%BE%D0%B2%D0%B0_%D0%BC%D0%B0%D1%88%D0%B8%D0%BD%D0%B0 + , http://id.ndl.go.jp/auth/ndlna/00573533 + , http://lt.dbpedia.org/resource/Tiuringo_ma%C5%A1ina + , http://bg.dbpedia.org/resource/%D0%9C%D0%B0%D1%88%D0%B8%D0%BD%D0%B0_%D0%BD%D0%B0_%D0%A2%D1%8E%D1%80%D0%B8%D0%BD%D0%B3 + , http://hy.dbpedia.org/resource/%D4%B9%D5%B5%D5%B8%D6%82%D6%80%D5%AB%D5%B6%D5%A3%D5%AB_%D5%B4%D5%A5%D6%84%D5%A5%D5%B6%D5%A1 + , http://sr.dbpedia.org/resource/%D0%A2%D1%98%D1%83%D1%80%D0%B8%D0%BD%D0%B3%D0%BE%D0%B2%D0%B0_%D0%BC%D0%B0%D1%88%D0%B8%D0%BD%D0%B0 + , http://ml.dbpedia.org/resource/%E0%B4%9F%E0%B5%82%E0%B4%B1%E0%B4%BF%E0%B4%99%E0%B5%8D_%E0%B4%AE%E0%B5%86%E0%B4%B7%E0%B5%80%E0%B5%BB + , http://lv.dbpedia.org/resource/Tj%C5%ABringa_ma%C5%A1%C4%ABna + , http://eu.dbpedia.org/resource/Turingen_makina + , http://la.dbpedia.org/resource/Machina_Turing + , http://ro.dbpedia.org/resource/Ma%C8%99in%C4%83_Turing + , http://it.dbpedia.org/resource/Macchina_di_Turing + , http://be.dbpedia.org/resource/%D0%9C%D0%B0%D1%88%D1%8B%D0%BD%D0%B0_%D0%A6%D1%8C%D1%8E%D1%80%D1%8B%D0%BD%D0%B3%D0%B0 + , http://www.idref.fr/027831655/id + , http://lmo.dbpedia.org/resource/Macchina_del_Turing + , http://id.dbpedia.org/resource/Mesin_Turing + , http://ia.dbpedia.org/resource/Machina_de_Turing + , https://d-nb.info/gnd/4203525-9 + , http://sk.dbpedia.org/resource/Turingov_stroj + , http://th.dbpedia.org/resource/%E0%B9%80%E0%B8%84%E0%B8%A3%E0%B8%B7%E0%B9%88%E0%B8%AD%E0%B8%87%E0%B8%97%E0%B8%B1%E0%B8%A7%E0%B8%A3%E0%B8%B4%E0%B8%87 + , http://dbpedia.org/resource/Turing_machine + , http://no.dbpedia.org/resource/Turingmaskin + , http://babelnet.org/rdf/s00078634n + , http://et.dbpedia.org/resource/Turingi_masin + , http://ki.dbpedia.org/resource/Macini_ya_Turing + , http://mwl.dbpedia.org/resource/M%C3%A1quina_de_Turing + , http://vi.dbpedia.org/resource/M%C3%A1y_Turing + , http://el.dbpedia.org/resource/%CE%9C%CE%B7%CF%87%CE%B1%CE%BD%CE%AE_%CE%A4%CE%BF%CF%8D%CF%81%CE%B9%CE%BD%CE%B3%CE%BA + , http://simple.dbpedia.org/resource/Turing_machine + , http://he.dbpedia.org/resource/%D7%9E%D7%9B%D7%95%D7%A0%D7%AA_%D7%98%D7%99%D7%95%D7%A8%D7%99%D7%A0%D7%92 + , http://ja.dbpedia.org/resource/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E3%83%9E%E3%82%B7%E3%83%B3 + , http://hr.dbpedia.org/resource/Turingov_stroj + , http://id.worldcat.org/fast/1159283 + , http://ma-graph.org/entity/29248071 + , http://cs.dbpedia.org/resource/Turing%C5%AFv_stroj + , http://sl.dbpedia.org/resource/Turingov_stroj + , http://ckb.dbpedia.org/resource/%D9%85%DB%95%DA%A9%DB%8C%D9%86%DB%95%DB%8C_%D8%AA%DB%8C%D9%88%D8%B1%DB%8C%D9%86%DA%AF + , http://nl.dbpedia.org/resource/Turingmachine + , http://da.dbpedia.org/resource/Turingmaskine + , http://sq.dbpedia.org/resource/Makina_Turing + , http://pl.dbpedia.org/resource/Maszyna_Turinga + , http://ca.dbpedia.org/resource/M%C3%A0quina_de_Turing + , http://data.bnf.fr/ark:/12148/cb11978871z#about + , http://ar.dbpedia.org/resource/%D8%A2%D9%84%D8%A9_%D8%AA%D9%88%D8%B1%D9%86%D8%BA + , http://fi.dbpedia.org/resource/Turingin_kone + , http://fa.dbpedia.org/resource/%D9%85%D8%A7%D8%B4%DB%8C%D9%86_%D8%AA%D9%88%D8%B1%DB%8C%D9%86%DA%AF + , http://oc.dbpedia.org/resource/Maquina_de_Turing + , http://uk.dbpedia.org/resource/%D0%9C%D0%B0%D1%88%D0%B8%D0%BD%D0%B0_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0 + , http://es.dbpedia.org/resource/M%C3%A1quina_de_Turing + , http://tr.dbpedia.org/resource/Turing_makinesi + , http://datos.bne.es/resource/XX550362 + , http://lb.dbpedia.org/resource/Turingmaschinn + , http://www.wikidata.org/entity/Q163310 + , http://bs.dbpedia.org/resource/Turingova_ma%C5%A1ina + , http://fr.dbpedia.org/resource/Machine_de_Turing + , http://ru.dbpedia.org/resource/%D0%9C%D0%B0%D1%88%D0%B8%D0%BD%D0%B0_%D0%A2%D1%8C%D1%8E%D1%80%D0%B8%D0%BD%D0%B3%D0%B0 + , http://wuu.dbpedia.org/resource/%E5%9B%BE%E7%81%B5%E6%9C%BA + , http://pt.dbpedia.org/resource/M%C3%A1quina_de_Turing + , http://fur.dbpedia.org/resource/Machine_di_Turing + , http://ko.dbpedia.org/resource/%ED%8A%9C%EB%A7%81_%EA%B8%B0%EA%B3%84 + , http://sv.dbpedia.org/resource/Turingmaskin + , http://de.dbpedia.org/resource/Turingmaschine + , http://tl.dbpedia.org/resource/Makinang_Turing + , http://hu.dbpedia.org/resource/Turing-g%C3%A9p + , http://eo.dbpedia.org/resource/Ma%C5%9Dino_de_Turing + , http://als.dbpedia.org/resource/Turingmaschine +
rdfs:comment En informatique théorique, une machine de … En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur. Ce modèle a été imaginé par Alan Turing en 1936, en vue de donner une définition précise au concept d’algorithme ou de « procédure mécanique ».Il est toujours largement utilisé en informatique théorique, en particulier dans les domaines de la complexité algorithmique et de la calculabilité.xité algorithmique et de la calculabilité.
rdfs:label 图灵机 , Machine de Turing , Машина Тюрінга , Macchina di Turing , Turing machine , Máquina de Turing , Turingmaschine , Turingmaskin , Màquina de Turing , Turingmachine
rdfs:seeAlso http://mathworld.wolfram.com/TuringMachine.html + , https://www.jstor.org/topic/turing-machines + , http://www.omegawiki.org/DefinedMeaning:687652 + , https://commons.wikimedia.org/wiki/Turing_Machine + , https://www.ne.se/uppslagsverk/encyklopedi/l%C3%A5ng/turingmaskin + , http://plato.stanford.edu/entries/turing-machine + , https://www.britannica.com/topic/Turing-machine + , https://commons.wikimedia.org/wiki/Category:Turing_machines + , https://www.zhihu.com/topic/19599012 + , http://www.universalis.fr/encyclopedie/machine-de-turing + , https://www.quora.com/topic/Turing-Machine +
hide properties that link here 
http://fr.dbpedia.org/resource/Turmite + http://dbpedia.org/ontology/namedAfter
http://fr.dbpedia.org/resource/E + , http://fr.dbpedia.org/resource/R + , http://fr.dbpedia.org/resource/Turing + http://dbpedia.org/ontology/wikiPageDisambiguates
http://fr.dbpedia.org/resource/Machines_de_Turing + http://dbpedia.org/ontology/wikiPageRedirects
http://fr.dbpedia.org/resource/2-EXPTIME + , http://fr.dbpedia.org/resource/A_New_Kind_of_Science + , http://fr.dbpedia.org/resource/Alan_Turing + , http://fr.dbpedia.org/resource/Algorithme_de_Sch%C3%B6nhage-Strassen + , http://fr.dbpedia.org/resource/Algorithme_d%C3%A9terministe + , http://fr.dbpedia.org/resource/Algorithmique + , http://fr.dbpedia.org/resource/Alonzo_Church + , http://fr.dbpedia.org/resource/Automate + , http://fr.dbpedia.org/resource/Automate_cellulaire + , http://fr.dbpedia.org/resource/Automate_de_Parikh + , http://fr.dbpedia.org/resource/Automate_fini + , http://fr.dbpedia.org/resource/Automate_fini_alternant + , http://fr.dbpedia.org/resource/Automate_fini_d%C3%A9terministe_bidirectionnel + , http://fr.dbpedia.org/resource/Automate_fini_non_d%C3%A9terministe + , http://fr.dbpedia.org/resource/Automate_lin%C3%A9airement_born%C3%A9 + , http://fr.dbpedia.org/resource/Automate_%C3%A0_file + , http://fr.dbpedia.org/resource/Automate_%C3%A0_pile + , http://fr.dbpedia.org/resource/Boucle_de_Langton + , http://fr.dbpedia.org/resource/Brainfuck + , http://fr.dbpedia.org/resource/Calcul_num%C3%A9rique + , http://fr.dbpedia.org/resource/Calculatrice + , http://fr.dbpedia.org/resource/Calculus_ratiocinator + , http://fr.dbpedia.org/resource/Castor_affair%C3%A9 + , http://fr.dbpedia.org/resource/Centraliseur + , http://fr.dbpedia.org/resource/Chimie_artificielle + , http://fr.dbpedia.org/resource/Chronologie_de_l%27informatique + , http://fr.dbpedia.org/resource/Chronologie_des_langages_de_programmation + , http://fr.dbpedia.org/resource/Chronologie_des_sciences + , http://fr.dbpedia.org/resource/Circuit_bool%C3%A9en + , http://fr.dbpedia.org/resource/Classe_de_complexit%C3%A9 + , http://fr.dbpedia.org/resource/Co-NP + , http://fr.dbpedia.org/resource/Codage_de_G%C3%B6del + , http://fr.dbpedia.org/resource/Complexit%C3%A9_de_Kolmogorov + , http://fr.dbpedia.org/resource/Complexit%C3%A9_de_la_communication + , http://fr.dbpedia.org/resource/Complexit%C3%A9_descriptive + , http://fr.dbpedia.org/resource/Complexit%C3%A9_en_espace + , http://fr.dbpedia.org/resource/Complexit%C3%A9_en_temps + , http://fr.dbpedia.org/resource/Complexit%C3%A9_g%C3%A9n%C3%A9rique_des_algorithmes + , http://fr.dbpedia.org/resource/Complexit%C3%A9_implicite + , http://fr.dbpedia.org/resource/Compl%C3%A9mentaire_%28complexit%C3%A9%29 + , http://fr.dbpedia.org/resource/Computationnalisme + , http://fr.dbpedia.org/resource/Computing_Machinery_and_Intelligence + , http://fr.dbpedia.org/resource/Conscience_%28biologie%29 + , http://fr.dbpedia.org/resource/Conseil_%28informatique_th%C3%A9orique%29 + , http://fr.dbpedia.org/resource/Constructeur_universel + , http://fr.dbpedia.org/resource/Constructible + , http://fr.dbpedia.org/resource/Corrado_B%C3%B6hm + , http://fr.dbpedia.org/resource/Cybern%C3%A9tique + , http://fr.dbpedia.org/resource/DSPACE + , http://fr.dbpedia.org/resource/DTIME + , http://fr.dbpedia.org/resource/DeepMind + , http://fr.dbpedia.org/resource/Degr%C3%A9_de_Turing + , http://fr.dbpedia.org/resource/Diophantien + , http://fr.dbpedia.org/resource/Dixi%C3%A8me_probl%C3%A8me_de_Hilbert + , http://fr.dbpedia.org/resource/D%C3%A9cidabilit%C3%A9 + , http://fr.dbpedia.org/resource/D%C3%A9ployeur_universel + , http://fr.dbpedia.org/resource/D%C3%A9terminisme_%28calculabilit%C3%A9%29 + , http://fr.dbpedia.org/resource/E + , http://fr.dbpedia.org/resource/EXPSPACE + , http://fr.dbpedia.org/resource/EXPTIME + , http://fr.dbpedia.org/resource/E_%28complexit%C3%A9%29 + , http://fr.dbpedia.org/resource/Effet_IA + , http://fr.dbpedia.org/resource/Enigma_%28jeu_vid%C3%A9o%2C_2002%29 + , http://fr.dbpedia.org/resource/Ensemble_d%C3%A9nombrable + , http://fr.dbpedia.org/resource/Ensemble_r%C3%A9cursif + , http://fr.dbpedia.org/resource/Epsilon_transition + , http://fr.dbpedia.org/resource/Esprit_quantique + , http://fr.dbpedia.org/resource/Expressivit%C3%A9 + , http://fr.dbpedia.org/resource/Fonction_calculable + , http://fr.dbpedia.org/resource/Fonction_constructible + , http://fr.dbpedia.org/resource/Fonction_d%27Ackermann + , http://fr.dbpedia.org/resource/Fonction_partielle_r%C3%A9cursive + , http://fr.dbpedia.org/resource/Fonction_r%C3%A9cursive + , http://fr.dbpedia.org/resource/Fonction_r%C3%A9cursive_primitive + , http://fr.dbpedia.org/resource/Fonction_semi-calculable + , http://fr.dbpedia.org/resource/Fonctionnalisme_%28philosophie_de_l%27esprit%29 + , http://fr.dbpedia.org/resource/Fondement_des_symboles + , http://fr.dbpedia.org/resource/Formule_bool%C3%A9enne_quantifi%C3%A9e + , http://fr.dbpedia.org/resource/Fourmi_de_Langton + , http://fr.dbpedia.org/resource/Fronti%C3%A8re_du_chaos + , http://fr.dbpedia.org/resource/Grammaire_formelle + , http://fr.dbpedia.org/resource/Grand_ordinal_d%C3%A9nombrable + , http://fr.dbpedia.org/resource/Groupe_d%27allumeur_de_r%C3%A9verb%C3%A8res + , http://fr.dbpedia.org/resource/G%C3%A9n%C3%A9rateur_de_nombres_al%C3%A9atoires + , http://fr.dbpedia.org/resource/Histoire_de_l%27information + , http://fr.dbpedia.org/resource/Histoire_de_l%27informatique + , http://fr.dbpedia.org/resource/Histoire_de_l%27intelligence_artificielle + , http://fr.dbpedia.org/resource/Histoire_de_l%27%C3%A9lectricit%C3%A9 + , http://fr.dbpedia.org/resource/Histoire_des_math%C3%A9matiques + , http://fr.dbpedia.org/resource/Histoire_des_ordinateurs + , http://fr.dbpedia.org/resource/Hi%C3%A9rarchie_de_Chomsky + , http://fr.dbpedia.org/resource/Hi%C3%A9rarchie_de_croissance_rapide + , http://fr.dbpedia.org/resource/Hi%C3%A9rarchie_polynomiale + , http://fr.dbpedia.org/resource/Hypoth%C3%A8se_de_l%27univers_math%C3%A9matique + , http://fr.dbpedia.org/resource/INTERCAL + , http://fr.dbpedia.org/resource/IP_%28complexit%C3%A9%29 + , http://fr.dbpedia.org/resource/Imitation_Game + , http://fr.dbpedia.org/resource/Indistinguabilit%C3%A9_calculatoire + , http://fr.dbpedia.org/resource/Information_quantique + , http://fr.dbpedia.org/resource/Informatique + , http://fr.dbpedia.org/resource/Informatique_quantique + , http://fr.dbpedia.org/resource/Informatique_th%C3%A9orique + , http://fr.dbpedia.org/resource/Instruction_informatique + , http://fr.dbpedia.org/resource/Intelligence_artificielle + , http://fr.dbpedia.org/resource/Jack_Copeland + , http://fr.dbpedia.org/resource/Jeu_de_la_vie + , http://fr.dbpedia.org/resource/John_Lucas + , http://fr.dbpedia.org/resource/John_R._Myhill + , http://fr.dbpedia.org/resource/Kernelisation + , http://fr.dbpedia.org/resource/Kurt_G%C3%B6del + , http://fr.dbpedia.org/resource/L_%28complexit%C3%A9%29 + , http://fr.dbpedia.org/resource/La_Machine_de_Turing + , http://fr.dbpedia.org/resource/Lambda-calcul + , http://fr.dbpedia.org/resource/Langage_contextuel + , http://fr.dbpedia.org/resource/Langage_de_la_pens%C3%A9e + , http://fr.dbpedia.org/resource/Langage_de_programmation + , http://fr.dbpedia.org/resource/Langage_formel + , http://fr.dbpedia.org/resource/Langage_rationnel + , http://fr.dbpedia.org/resource/Langage_r%C3%A9cursif + , http://fr.dbpedia.org/resource/Le_Cas_Alan_Turing + , http://fr.dbpedia.org/resource/Leonid_Levin + , http://fr.dbpedia.org/resource/Lexique_de_propri%C3%A9t%C3%A9s_de_fonctions + , http://fr.dbpedia.org/resource/Limite_de_Bekenstein + , http://fr.dbpedia.org/resource/Lisp + , http://fr.dbpedia.org/resource/Liste_d%27informaticiens_et_pr%C3%A9curseurs_de_l%27informatique + , http://fr.dbpedia.org/resource/Liste_d%27%C3%A9nonc%C3%A9s_ind%C3%A9cidables_dans_ZFC + , http://fr.dbpedia.org/resource/Liste_de_publications_importantes_en_informatique_th%C3%A9orique + , http://fr.dbpedia.org/resource/Machine + , http://fr.dbpedia.org/resource/Machine_abstraite + , http://fr.dbpedia.org/resource/Machine_de_Blum-Shub-Smale + , http://fr.dbpedia.org/resource/Machine_de_Krivine + , http://fr.dbpedia.org/resource/Machine_de_Turing_non_d%C3%A9terministe + , http://fr.dbpedia.org/resource/Machine_de_Turing_probabiliste + , http://fr.dbpedia.org/resource/Machine_de_Turing_sym%C3%A9trique + , http://fr.dbpedia.org/resource/Machine_de_Turing_universelle + , http://fr.dbpedia.org/resource/Machine_%C3%A0_compteurs + , http://fr.dbpedia.org/resource/Machine_%C3%A0_registres_illimit%C3%A9s + , http://fr.dbpedia.org/resource/Machine_%C3%A0_%C3%A9tats_abstraits + , http://fr.dbpedia.org/resource/Mod%C3%A9lisation + , http://fr.dbpedia.org/resource/M%C3%A9talangage + , http://fr.dbpedia.org/resource/NE_%28complexit%C3%A9%29 + , http://fr.dbpedia.org/resource/NP-facile + , http://fr.dbpedia.org/resource/NP_%28complexit%C3%A9%29 + , http://fr.dbpedia.org/resource/Neurone_formel + , http://fr.dbpedia.org/resource/Noam_Chomsky + , http://fr.dbpedia.org/resource/Nombre_irrationnel + , http://fr.dbpedia.org/resource/Nombre_r%C3%A9el_calculable + , http://fr.dbpedia.org/resource/Om%C3%A9ga_de_Chaitin + , http://fr.dbpedia.org/resource/Oracle_%28machine_de_Turing%29 + , http://fr.dbpedia.org/resource/Ordinateur + , http://fr.dbpedia.org/resource/Ordinateur_%C3%A0_ADN + , http://fr.dbpedia.org/resource/Ordinateur_%C3%A0_jeu_d%27instruction_unique + , http://fr.dbpedia.org/resource/PSPACE + , http://fr.dbpedia.org/resource/P_%28complexit%C3%A9%29 + , http://fr.dbpedia.org/resource/Palindrome + , http://fr.dbpedia.org/resource/Parall%C3%A9lisme_%28informatique%29 + , http://fr.dbpedia.org/resource/Philosophie_de_la_technique + , http://fr.dbpedia.org/resource/Physique_num%C3%A9rique_%28th%C3%A9orique%29 + , http://fr.dbpedia.org/resource/Poker_fatal + , http://fr.dbpedia.org/resource/Preuve_naturelle + , http://fr.dbpedia.org/resource/Probl%C3%A8me_NP-complet + , http://fr.dbpedia.org/resource/Probl%C3%A8me_P_%E2%89%9F_NP + , http://fr.dbpedia.org/resource/Probl%C3%A8me_algorithmique + , http://fr.dbpedia.org/resource/Probl%C3%A8me_de_correspondance_de_Post + , http://fr.dbpedia.org/resource/Probl%C3%A8me_de_l%27arr%C3%AAt + , http://fr.dbpedia.org/resource/Probl%C3%A8me_de_l%27%C3%A9valuation_d%27un_circuit + , http://fr.dbpedia.org/resource/Probl%C3%A8me_de_recherche + , http://fr.dbpedia.org/resource/Programmation_fonctionnelle + , http://fr.dbpedia.org/resource/Programmation_informatique + , http://fr.dbpedia.org/resource/Programme_informatique + , http://fr.dbpedia.org/resource/Psychologie + , http://fr.dbpedia.org/resource/Quine_%28informatique%29 + , http://fr.dbpedia.org/resource/R + , http://fr.dbpedia.org/resource/Roger_Penrose + , http://fr.dbpedia.org/resource/Ronald_Fagin + , http://fr.dbpedia.org/resource/R%C3%A9duction_en_espace_logarithmique + , http://fr.dbpedia.org/resource/R%C3%B3bert_Szelepcs%C3%A9nyi + , http://fr.dbpedia.org/resource/Sciences_cognitives + , http://fr.dbpedia.org/resource/Simulateur_quantique + , http://fr.dbpedia.org/resource/Small-Scale_Experimental_Machine + , http://fr.dbpedia.org/resource/Structure_automatique + , http://fr.dbpedia.org/resource/Suite_al%C3%A9atoire + , http://fr.dbpedia.org/resource/Suite_de_Specker + , http://fr.dbpedia.org/resource/Syst%C3%A8me_de_Post + , http://fr.dbpedia.org/resource/Syst%C3%A8me_de_tague + , http://fr.dbpedia.org/resource/Syst%C3%A8me_de_traitement_de_l%27information + , http://fr.dbpedia.org/resource/Syst%C3%A8me_de_transition_d%27%C3%A9tats + , http://fr.dbpedia.org/resource/Syst%C3%A8me_physique + , http://fr.dbpedia.org/resource/Terminaison_d%27un_algorithme + , http://fr.dbpedia.org/resource/Terminaison_d%27un_syst%C3%A8me_de_r%C3%A9%C3%A9criture + , http://fr.dbpedia.org/resource/Th%C3%A8se_de_Church + , http://fr.dbpedia.org/resource/Th%C3%A9orie_algorithmique_de_l%27information + , http://fr.dbpedia.org/resource/Th%C3%A9orie_axiomatique + , http://fr.dbpedia.org/resource/Th%C3%A9orie_de_la_calculabilit%C3%A9 + , http://fr.dbpedia.org/resource/Th%C3%A9orie_des_automates + , http://fr.dbpedia.org/resource/Th%C3%A9orie_des_nombres + , http://fr.dbpedia.org/resource/Th%C3%A9or%C3%A8me_d%27Immerman-Szelepcs%C3%A9nyi + , http://fr.dbpedia.org/resource/Th%C3%A9or%C3%A8me_d%27acc%C3%A9l%C3%A9ration_lin%C3%A9aire + , http://fr.dbpedia.org/resource/Th%C3%A9or%C3%A8me_d%27it%C3%A9ration + , http://fr.dbpedia.org/resource/Th%C3%A9or%C3%A8me_de_Cook + , http://fr.dbpedia.org/resource/Th%C3%A9or%C3%A8me_de_Fagin + , http://fr.dbpedia.org/resource/Th%C3%A9or%C3%A8me_de_Robertson-Seymour + , http://fr.dbpedia.org/resource/Th%C3%A9or%C3%A8me_de_hi%C3%A9rarchie_en_temps_d%C3%A9terministe + , http://fr.dbpedia.org/resource/Turing + , http://fr.dbpedia.org/resource/Turing-complet + , http://fr.dbpedia.org/resource/Turmite + , http://fr.dbpedia.org/resource/Turochamp + , http://fr.dbpedia.org/resource/Unit%C3%A9_centrale + , http://fr.dbpedia.org/resource/Vers_de_Paterson + , http://fr.dbpedia.org/resource/Walter_Savitch + , http://fr.dbpedia.org/resource/Wang_Hao_%28logicien%29 + , http://fr.dbpedia.org/resource/Winning_Ways_for_your_Mathematical_Plays + , http://fr.dbpedia.org/resource/Wolfram_Language + , http://fr.dbpedia.org/resource/Zuse_3 + , http://fr.dbpedia.org/resource/%C3%89pist%C3%A9mologie_de_l%27informatique + , http://fr.dbpedia.org/resource/Machines_de_Turing + , http://fr.dbpedia.org/resource/Manuel_Blum + , http://fr.dbpedia.org/resource/Mat%C3%A9riel_informatique + , http://fr.dbpedia.org/resource/Michael_Shub + http://dbpedia.org/ontology/wikiPageWikiLink
http://fr.dbpedia.org/tag/SvFrResource + , http://fr.dbpedia.org/tag/UkFrResource + , http://fr.dbpedia.org/tag/NlFrResource + , http://fr.dbpedia.org/tag/DeFrResource + , http://fr.dbpedia.org/tag/CaFrResource + , http://fr.dbpedia.org/tag/AlsFrResource + , http://fr.dbpedia.org/tag/EsFrResource + , http://fr.dbpedia.org/tag/EnFrResource + , http://fr.dbpedia.org/tag/ItFrResource + , http://fr.dbpedia.org/tag/ZhFrResource + http://www.w3.org/ns/oa#hasTarget
http://fr.wikipedia.org/wiki/Machine_de_Turing + http://xmlns.com/foaf/0.1/primaryTopic
http://fr.dbpedia.org/resource/Machine_de_Turing + owl:sameAs
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://www.b-kaempgen.de/index.php/Special:BrowseSW/http:-2F-2Ffr.dbpedia.org-2Fresource-2FMachine_de_Turing"