Обратимые клеточные автоматы.

[Sirion]

Господа, у меня следующий вопрос: верно ли, что если клеточный автомат обратим, то существует обратный ему клеточный автомат? Т.е. что вычисления в обратную сторону также можно осуществлять с помощью клеточного автомата?

Все примеры обратимых клеточных автоматов, которые я нашёл, имеют обратный автомат. С другой стороны, я не вижу причин, по которым так должно быть в общем случае.

[Xaositect]

http://en.wikipedia.org/wiki/Curtis%E2% ... on_theorem

[Sirion]

Просветился, большое спасибо.