Jean Foutre Premier a écrit:
késako une machine universelle ? Fait le ménage, fait des turluttes, le café, ouvre des boites de conserves, imprime des billets de banques, fait pousser les cheveux etc etc et bosse pour toi ?
En principe, ca peut faire tout ca. Surtout les turlutes. En gros, une machine universelle (de Turing) [UTM pour les intimes] est une machine (de Turing) qui simule toute machine (de Turing). C'est quoi une machine de Turing? Cherche sur le moteur interne du forum: devrait y avoir cet article quelque part dans le foutoir environnemental. Bref, une UTM est un bidule capable de simuler n'importe quel autre bidule capable de calculer, ou
calculer doit etre pris ici dans son sens le plus large. Si tu veux (= si t'as que ca a foutre), tu peux meme faire joujou avec ces machines en les programmant avec
Brainfuck. Bref, et pour en revenir a nos moutons, la substance du debat suscite se concentre sur le fait de savoir si oui ou non Alex Smith a demontre que la machine (2,3) de Wolfram - un automate cellulaire mimetise en machine (de Turing), et vice et versa reciproquement - est une UMT, comme annonce en grande pompe sur le site wolframien. Si c'etait effectivement le cas (encore faudrait-il convaincre tout le monde puisque, par exemple, la notion d'universalite utilisee par Alex dans sa demonstration ne fait pas l'"unanimite"), la machine (2,3) serait la plus petite UMT connue a ce jour. Petite oui, mais mauss kosto: en effet, comme toute UTM, potentiellement, la (2,3) est une gigantesque usine a turlutes. Ach! Bon, j'ai poste cette news just for fun, pour changer un peu. Amusant, non? Arf!