{"id":283,"date":"2015-11-30T22:11:52","date_gmt":"2015-11-30T21:11:52","guid":{"rendered":"https:\/\/bailleux.net\/?p=283"},"modified":"2015-11-30T22:11:52","modified_gmt":"2015-11-30T21:11:52","slug":"construction-dune-machine-de-turing","status":"publish","type":"post","link":"https:\/\/bailleux.net\/pagepro\/construction-dune-machine-de-turing\/","title":{"rendered":"Construction d’une machine de Turing"},"content":{"rendered":"

\"MT<\/a>Je travaille actuellement, sur mon temps libre, \u00e0 la r\u00e9alisation d\u2019une machine de Turing. Il s\u2019agit d\u2019un ordinateur rudimentaire mais qui permet de r\u00e9aliser (sous r\u00e9serve de disposer des ressources suffisantes) tous les calculs que peuvent effectuer les ordinateurs existants, et m\u00eame ceux qui n\u2019existent pas encore (*), y compris les ordinateurs quantiques. Par contre, cette machine ne calcule pas de mani\u00e8re efficace et n\u2019a donc pas d\u2019int\u00e9r\u00eat pratique. Alors pourquoi en r\u00e9aliser une \u00ab\u00a0physiquement\u00a0\u00bb\u00a0?<\/p>\n

Parce que la machine de Turing occupe une place tr\u00e8s importante en science informatique et qu\u2019elle illustre magistralement comment un assemblage d\u2019\u00e9l\u00e9ments simples permet de r\u00e9aliser un syst\u00e8me dont le comportement peut \u00eatre extr\u00eamement complexe au point n\u2019\u00eatre pr\u00e9visible, en toute g\u00e9n\u00e9ralit\u00e9, par aucun algorithme ni aucune machine, aussi compliqu\u00e9e soit-elle. Je pense que le fait de voir une telle machine en fonctionnement peut, plus qu\u2019une simple description ou m\u00eame une simulation, marquer les esprits de mes \u00e9tudiants et d\u00e9velopper leur curiosit\u00e9 scientifique.<\/p>\n

D\u2019autre part, l\u2019analyse de l’architecture et du fonctionnement d\u2019une telle machine montre quels sont les \u00e9l\u00e9ments qui la constituent, comment ces \u00e9l\u00e9ments \u00e9changent des informations, quels sont leurs r\u00f4les, comment ils sont eux-m\u00eames constitu\u00e9s de briques plus simples qui r\u00e9alisent des op\u00e9rations \u00e9l\u00e9mentaires. Ce genre d\u2019exercice est essentiel pour d\u00e9velopper les aptitudes des \u00e9tudiants en mati\u00e8re d\u2019ing\u00e9nierie et pour les amener \u00eatre capables de comprendre et de concevoir par eux-m\u00eames des syst\u00e8mes complexes.<\/p>\n

Je reviendrai lors d\u2019un prochain billet sur la construction de cette machine. Je dirai juste aujourd\u2019hui qu\u2019elle sera compos\u00e9e de petits modules r\u00e9alis\u00e9s avec des composants \u00e9lectroniques simples (portes logiques, bascules D), et que l\u2019\u00e9tat de chacun de ces modules sera indiqu\u00e9 par des leds (bleue pour 0, rouge pour 1) de mani\u00e8re \u00e0 ce qu\u2019il soit possible de suivre facilement toutes les \u00e9tapes d\u2019un calcul.<\/p>\n

(*) D\u2019apr\u00e8s une hypoth\u00e8se tr\u00e8s s\u00e9rieuse connue sous le nom de th\u00e8se de Church-Turing, \u00e9mise par deux des plus c\u00e9l\u00e8bres math\u00e9maticiens du si\u00e8cle dernier.<\/p>\n","protected":false},"excerpt":{"rendered":"

Je travaille actuellement, sur mon temps libre, \u00e0 la r\u00e9alisation d\u2019une machine de Turing. Il s\u2019agit d\u2019un ordinateur rudimentaire mais qui permet de r\u00e9aliser (sous r\u00e9serve de disposer des ressources suffisantes) tous les calculs que peuvent effectuer les ordinateurs existants, et m\u00eame ceux qui n\u2019existent pas encore (*), y compris les ordinateurs quantiques. Par contre, […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-283","post","type-post","status-publish","format-standard","hentry","category-enseignement"],"_links":{"self":[{"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/posts\/283","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/comments?post=283"}],"version-history":[{"count":3,"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/posts\/283\/revisions"}],"predecessor-version":[{"id":287,"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/posts\/283\/revisions\/287"}],"wp:attachment":[{"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/media?parent=283"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/categories?post=283"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/tags?post=283"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}