Groups, Graphs, Languages, Automata, Games and Second-order Monadic Logic
Tullio Ceccherini-SilbersteinMichel CoornaertFrancesca FiorenziPaul E. Schupp
所有作者
Tullio Ceccherini-SilbersteinMichel CoornaertFrancesca FiorenziPaul E. Schupp
文献摘要
In this paper we survey some surprising connections between group theory, the
theory of automata and formal languages, the theory of ends, infinite games of
perfect information, and monadic second-order logic.