Logo
« Formellement cet univers est un univers d'une fonction d'une variable réelle avec deux primitives de base appelées avance et tourne. On obtient de nouvelles fonctions par concaténation de ces deux primitives. Pour simplifier l'écriture, on introduit aussi une fonction primitive répète qui à partir d'un entier naturel n et d'une fonction f consiste à concaténer n fois la fonction f avec elle-même. Un tel univers n'a d'intérêt qu'avec son interprétation géométrique : dans un plan orienté, une tortue est un couple composé d'un point du plan et d'une orientation par rapport à une direction fixe du plan.
Pour déplacer la tortue,
(APMEP,BV 515, page 455, Roger Cuppens)
Patrick |