最終更新日:2022/12/24
We prove that pre-injective, post-surjective cellular automata over surjunctive groups are reversible.
編集履歴(0)
We prove that pre-injective, post-surjective cellular automata over surjunctive groups are reversible.