Le jeu de la vie

Toutes vos questions et discussions autour du lycée Fermat.
Avatar de l’utilisateur
Miltøn
Premier consul
Messages : 11051
Inscription : 14 juin 2013, 21:14
Localisation : K-fêt

Le jeu de la vie

Messagepar Miltøn » 18 août 2013, 19:39

Salut !

Est-ce que vous connaissez le jeu de la vie, inventé par Conway ? Si non, il s’agit d’un automate cellulaire assez connu, c’est-à-dire d’un système représenté sous la forme d’une grille où chaque case peut prendre la valeur « morte » ou « vivante », et où les cellules interagissent entre elles.

Toujours est-il que cette vidéo sur certaines réalisations possibles avec ce « jeu » m’a laissé sur le cul !

Enjoy ;-)
Khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien et ex-codictateur du forum.

« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »

Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA

Avatar de l’utilisateur
Mati
Conseiller régional
Messages : 216
Inscription : 07 juin 2012, 20:56

Re: Le jeu de la vie

Messagepar Mati » 18 août 2013, 22:02

Un de mes spés avait fait son tipe sur ça :)
[2012-2013] MPSI 1 ~ Choco PO(ps) Majorette
[2013-2014] XM2
[2014-......] Grenoble INP - Esisar

Avatar de l’utilisateur
lavi
Sénateur
Messages : 620
Inscription : 07 juin 2012, 18:26

Re: Le jeu de la vie

Messagepar lavi » 19 août 2013, 09:24

un de mes potes faisait ça en Td de maths XD
Profession : Pantalon Vert

2012-2013 : PCSI 2 (PV c'est moi :) )
2013-2014 : PC*

Fier membre du BDE de l'ENS de Lyon

Timot
Conseiller municipal
Messages : 16
Inscription : 13 août 2013, 18:25

Re: Le jeu de la vie

Messagepar Timot » 19 août 2013, 12:11

Le jeu de la vie est Turing complet, donc tu peux faire un peu tout ce que tu as envie...
2009-2010 : MPSI1
2010-2011 : MP* Jimmy!
2011- : ENS Lyon Info

Avatar de l’utilisateur
Miltøn
Premier consul
Messages : 11051
Inscription : 14 juin 2013, 21:14
Localisation : K-fêt

Re: Le jeu de la vie

Messagepar Miltøn » 19 août 2013, 21:38

Timot a écrit :Le jeu de la vie est Turing complet, donc tu peux faire un peu tout ce que tu as envie...

Oui, mais c’est bien compliqué…
Après tout, même le SQL, le Malebolge ou le couple HTML5/CSS3 sont complets, la notion de Turing-complétion est trop abstraite pour vouloir dire quelque chose concrètement… Lorsque tu es obligé de passer par un algorithme pour écrire ton programme dans un langage Turing-complet, c’est qu’il reste améliorable…
Par contre, comment a-t-on démontré cette complétude ?
Khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien et ex-codictateur du forum.

« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »

Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA

Timot
Conseiller municipal
Messages : 16
Inscription : 13 août 2013, 18:25

Re: Le jeu de la vie

Messagepar Timot » 19 août 2013, 22:23

Milton a écrit :
Timot a écrit :Le jeu de la vie est Turing complet, donc tu peux faire un peu tout ce que tu as envie...

Oui, mais c’est bien compliqué…
Après tout, même le SQL, le Malebolge ou le couple HTML5/CSS3 sont complets, la notion de Turing-complétion est trop abstraite pour vouloir dire quelque chose concrètement… Lorsque tu es obligé de passer par un algorithme pour écrire ton programme dans un langage Turing-complet, c’est qu’il reste améliorable…
Par contre, comment a-t-on démontré cette complétude ?


Oui mais dans ce cas, on connait pas mal de structure de base qui font que tu peux quand même implanter des trucs pas trop difficilement.
Après forcement, le compilateur C++ vers jeu de la vie, ça doit être bien dégueu.
Pour la preuve, il me semble que tu peux simuler une machine de Turing avec un rubans en utilisant des piles de manière presque pas trop moche. Ya un papier ici : http://uncomp.uwe.ac.uk/CAAA2011/Program_files/764-772.pdf qui fait cette démo si t'as du temps à tuer :P
2009-2010 : MPSI1
2010-2011 : MP* Jimmy!
2011- : ENS Lyon Info


Revenir vers « Année 2013–2014 »

Qui est en ligne ?

Utilisateurs parcourant ce forum : Aucun utilisateur inscrit et 1 invité