We construct a bireversible self-dual automaton with 33 states over an alphabet with 33 letters which generates the lamplighter group Z3≀ZZ3≀Z.
生成讲解博客的中文版本
生成AI智能校验的中文版本