Active Context-Free Games

Anca Muscholl (1) , Thomas Schwentick (2) , Luc Segoufin (3)

1 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications
2 FB Mathematik und Informatik
3 GEMO - Integration of data and knowledge distributed over the web

An Active Context-Free Game is a game with two players (Romeo and Juliet) on strings over a finite alphabet. In each move, Juliet selects a position of the current word and Romeo rewrites the corresponding letter according to a rule of a context-free grammar. Juliet wins if a string of the regular target language is reached. The complexity of deciding the existence of winning strategies for Juliet is investigated, depending on properties of the grammar, of the target language, and on restrictions on the strategy.

Domaines: Autre [cs.OH]

Anca Muscholl, Thomas Schwentick, Luc Segoufin. Active Context-Free Games. Theory of Computing Systems, 2006, 39 (1), pp.237--276. ⟨hal-00306333⟩