Groups, Graphs, Languages, Automata, Games and Second-order Monadic Logic
Tullio Ceccherini-Silberstein, Michel Coornaert, Francesca Fiorenzi,, and Paul E. Schupp
TL;DR
This paper surveys the intriguing links between group theory, automata, formal languages, ends, infinite games, and monadic second-order logic, highlighting their interconnectedness across various mathematical and computational fields.
Contribution
It provides a comprehensive overview of the surprising relationships among diverse areas like group theory, automata, and logic, emphasizing their interconnectedness.
Findings
Identifies key connections between automata and group theory.
Highlights the role of monadic second-order logic in these areas.
Explores the implications for infinite games and formal languages.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.