bireversible en · ADJ
Etymology
From bi- + reversible.
Meanings
-
(not-comparable) reversible under the action of two linear involutions
It has been proved that, for a connected automaton of size at most~3, or when the automaton is not bireversible, the generated group cannot be Burnside infinite.
2016, Thibault Godin, Ines Klimann, “Connected reversible Mealy automata of prime size cannot generate infinite Burnside groups”, in arXiv: