Machine de Turing

[phi]

Merci beaucoup de ta part, ça me touche beaucoup.

Je rappelle sinon qu'on exposera la machine les 2 3 4 juillet à l'ENS de Lyon dans l'atrium de l'amphithéâtre Mérieux (46 allée d'Italie, près de la fontaine) à l'occasion des conférences pour le centenaire d'Alan Turing.

[adreze]

La machine de Turing est à l'honneur aujourd'hui sur Google.
Ce doodle est bien sympa . Le dernier est exactement ce que fait la machine de phi dans le reportage du CNRS.

Adreze

[sylvain.roque]

Pareil je viens d'essayer et c'est bien sympa tout ça.

[phi]

Ah non, je m'insurge, le dernier ne faite que prendre le complémentaire 01111 => 10000
alors que nous prenons le miroir 01111 => 10000

Hum

Je dirai même que prendre le miroir avec un seul ruban est difficile (mais non impossible)

Je pense que ici on ne peut pas, il faudrait avoir 4 lignes

Jolie explication de la machine de Turing selon Google, pas un mot d'explication, tout à l'intuition, j'aime.

[Teuk]

Ah non, je m'insurge, le dernier ne faite que prendre le complémentaire 01111 => 10000
alors que nous prenons le miroir 01111 => 10000

Hum Y'a pas une erreur la? il me semble que c'est pareil, non?

En tout cas, si le Doodle n'est pas très pédagogique, il permi à mon père de tomber par hasard sur votre machine, qui l'a vachement impressionné ("la machine l plus complexe en Lego", d'après lui). Et à moi de tomber sur un article du Monde sur votre projet. La classe!

[phi]

Oups, je voulais dire

01111 => 11110

^^

Je me plante régulièrement

Et fumer c'est mal

Et oui, le rédacteur du monde s'est lâchée, il avait des yeux d'enfants quand on lui a montré la machine

[Toitoine]

j'ai regardé la vidéo du CNRS et je n'ai pas encore compris, pourtant bac F1 + DUT GMP mais pas trop matheux, ceci explique peut être cela

[phi]

Commençons par le début, qu'est-ce que tu as compris?

[Toitoine]

j'ai bien compris le but d'inverser le mot initial.
j'ai relu le sujet depuis le début. C'est plus la mécanique en elle même qui m'interpelle.
je souhaiterai un zoom sur le fonctionnement global style "le moteur pneumatique actionne des distributeurs qui actionnent.... (avec des photos des différentes positions et états)

sinon je vais être bon pour faire un A/R dans ma belle région ou j'ai grandi pour piger de visu

en tous cas, bravo pour cette superbe réalisation

[Anio]

Je vois bien le but du truc.
Mais je comprends moins bien le fonctionnement.

Si vous voulez changer l'opération faite par la machine, vous devez faire un sacré nombre de bidouilles non ?

Je sous entend revoir les rapports d'engrenages, les déclenchements des bielles toussa (autrement dit, le programme traduit de façon mécanique) ?

Par exemple :
Aujourd'hui, vous rentrez 00100101, la machine vous ressort 10010010. Bien.

Si maintenant, vous rentrez toujours 00100101, mais vous voulez que la machine vous ressorte 3 fois la valeur d'entrée, soit 001001010010010100100101, concrètement, vous faites quoi ?

Par ailleurs, qu'est ce qui ne serait pas calculable ?

[adreze]

Et hop ! Un article sur lemonde.fr : http://www.lemonde.fr/sciences/article/ ... 50684.html

Adreze

[phi]

@Toitoine

Hum, tu veux dire quoi par zoom sur le fonctionnement global.
Tu veux le détail des mécanisme?
Ou tu veux l'organisation?

@Anio
Le gros truc avec plein de liftarm à la verticale (que j'ai appellé table de transitions), c'est ce qui contient le programme.

On peut, en rajoutant/enlevant des 16t folle/16t dire à la machine ce qu'elle doit faire dans quel contexte.

Exemple:

Quand l'axe noir tourne, on fait:
ou tourner l'axe gris
ou on bloque l'axe gris
ou il est libre



En changeant les engrenages, on change son comportement. On ne touche à rien d'autre sur la machine, et c'était justement une des contraintes de ce projet, pouvoir la reprogrammer.



Hum, pour ce qui n'est pas calculable, l'exemple le plus couramment utilisé est le problème de l'arrêt:
"Etant donné le code d'une machine de Turing, va elle s'arrêter ou non?"

Il n'existe pas de méthode générique pour y répondre

[Anio]

Bon, avant tout, pour les trucs non calculables, j'ai pas compris.
On dirait une question de philo ton truc.


Sinon, pour la table de transition, sur le fond, c'est un peu comme un orgue de barbarie, non ?
Si sur ce dernier il faut placer des trous, sur votre table, il faut placer quelques engrenages aux bons endroits.

[phi]

Ouaip pour l'orgue de barbarie


Pour le non calculable, je reformule:
"Est-ce que Windows va planter" n'est pas calculable (en vrai, il est probable que si )

[Anio]

Formulé autrement et de façon plus binaire si je puis dire, la machine ne peut pas calculer ce qui peut potentiellement prendre 2 valeurs (0 ET 1).

Autrement dit, il faut que la réponse soit forcément 0 OU 1.

J'ai bon ?