text: abstract
  we prove that if a group generated by a bireversible mealy automaton contains an element of
  infinite order, its growth blows up and is necessarily exponential. as a direct consequence, no infinite
  virtually nilpotent group can be generated by a bireversible mealy automaton.