Tag - invertibility

Participation à JAC 2008

À l’occasion du départ à la retraite de mon directeur de thèse Jacques Mazoyer a été organisée une conférence très sérieuse sur les thématiques qui lui sont chères, liées en particulier aux automates cellulaires. De nombreux intervenants extérieurs étaient là (venant de France bien sûr, mais aussi de Finlande, de Russie, d’Italie, du Maroc et du Chili).

Je n’ai mis dans cet article que les photographies de la conférence proprement dites ainsi qu’une analyse personnelle de ce que j’ai appris sur le domaine des automates cellulaires en 2008. Les autres photos que j’ai faites sont sur ma page personnelle. L’article détaillé est sur une autre page.

Continue reading

How to simulate Turing Machines by invertible cellular automata

Abstract of the article

The issue of testing invertibility of cellular automata has been often discussed. The computation universality of cellular automata has long been positively resolved, and by showing that any cellular automaton could be simulated by an invertible one having a superior dimension, Toffoli proved that invertible cellular automaton of dimension d ≥2 were computation-universal. Kenichi Morita proved that any invertible Turing Machine could be simulated by a one-dimensional invertible cellular automaton, which proved computation-universality of invertible cellular automata. This article shows how to simulate any Turing Machine by an invertible cellular automaton with no loss of time and gives, as a corollary, an easier proof of this result.

Continue reading

Internship reports

While studying at École normale supérieure de Lyon, I did two internships in labs in my undergraduate years (one in 1993, one in 1994), the first one in the LIPlab and the second in the IIT Madras (when Chennai / சென்னை was still Madras).

Continue reading