Consensus Game Acceptors and Iterated Transductions

Dietmar Berwanger,Marie van den Bogaard
DOI: https://doi.org/10.48550/arXiv.1501.07131
2016-04-26
Abstract:We study a game for recognising formal languages, in which two players with imperfect information need to coordinate on a common decision, given private input words correlated by a finite graph. The players have a joint objective to avoid an inadmissible decision, in spite of the uncertainty induced by the input. We show that the acceptor model based on consensus games characterises context-sensitive languages. Further, we describe the expressiveness of these games in terms of iterated synchronous transductions and identify a subclass that characterises context-free languages.
Formal Languages and Automata Theory,Computer Science and Game Theory,Logic in Computer Science
What problem does this paper attempt to address?