加载中…
For any nontrivial abelian group we construct a reversible (bireversible in case the order of is odd) automaton such that its set of states and alphabet are identified with , transition and output functions are defined via the left and the right regular actions correspondingly and its group splits into the restricted wreath product , i.e. is a lamplighter group.

生成讲解博客的中文版本

生成AI智能校验的中文版本