bireversible adjective1 •reversible under the action of two linear involutionsIt 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
