surjunctive

adjective1

1. •
   Describing a group whose every injective cellular automaton is surjective

   • We prove that pre-injective, post-surjective cellular automata over surjunctive groups are reversible. — 2015