@@ -224,6 +224,8 @@ Les automates réversibles de bloc sont des automates particuliers. Le pavage de
Dans la représentation de l'espace ci-dessus un voisinage de Margolus est défini. La partition de l'espace alterne entre deux configurations de blocs (2 x 2) délimitées soit par le tracé rouge, soit par le tracé bleu.
Un calcul informatique $`y = f(x)`$ est réversible, si la donnée d'entrée $x$ peut être retrouvée de façon unique à partir de $`y`$. Ainsi par exemple la négation en logique $`y = \not x`$ est réversible. Si la sortie est 1 alors l'entrée est 0 et inversement. Par contre l'opérateur logique `ET` ne l'est pas puisque la sortie 0 correspond à trois différentes entrées : (0,0), (0,1), (1,0).
