A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

Winning Sets of Regular Languages: Descriptional and Computational Complexity




TekijätMarcus Pierre, Törmä Ilkka

KustantajaInstitut fur Informatik, Justus-Liebig-Universitat Giessen

Julkaisuvuosi2023

JournalJournal of Automata, Languages and Combinatorics

Tietokannassa oleva lehden nimiJournal of Automata, Languages and Combinatorics

Vuosikerta28

Numero1-3

Aloitussivu89

Lopetussivu120

DOIhttps://doi.org/10.25596/jalc-2023-089

Verkko-osoitehttps://www.doi.org/10.25596/jalc-2023-089


Tiivistelmä

We investigate certain word-construction games with variable turn orders. In these games, Alice and Bob take turns on choosing consecutive letters of a word of fixed length, with Alice winning if the result lies in a predetermined target language. The turn orders that result in a win for Alice form a binary language that is regular when-ever the target language is, and we prove some upper and lower bounds for its state complexity based on that of the target language. We also consider the computational complexity of membership and intersection problems of winning sets. © Institut für Informatik · Justus-Liebig-Universität Giessen.



Last updated on 2024-26-11 at 23:31