Consensus Game Acceptors and Iterated Transductions

Dietmar Berwanger, Marie van den Bogaard

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…