Assertion: robot | /r/HasProperty | reversible
Facets:
Source sentences:
text: However, for cellular automata of two or more dimensions reversibility is undecidable; that is, there is no algorithm that takes as input an automaton rule and is guaranteed to determine correctly whether the automaton is reversible.