Table des matières
3 relations: Castor affairé, Fourmi de Langton, Vers de Paterson.
Castor affairé
Un castor affairé est, en théorie de la calculabilité, une machine de Turing qui maximise son « activité opérationnelle » (comme le nombre de pas effectués ou le nombre de symboles écrits avant son arrêt) parmi toutes les machines de Turing d'une certaine classe.
Voir Turmite et Castor affairé
Fourmi de Langton
On nomme fourmi de Langton un automate cellulaire (voir machine de Turing) bidimensionnel comportant un jeu de règles très simples.
Voir Turmite et Fourmi de Langton
Vers de Paterson
Les vers de Paterson sont un ensemble de machines de Turing.

