2 citations · 2 across the 3 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.FL2026
Conditional Membership in Regular Languages
Antoine Amarilli, Sebastien Felipe Labbe, Charles Paperman
We study a formulation of regular language membership as a promise problem, which we dub conditional membership: we fix a promise language and a target language …
cs.FL2026
Out-of-Order Membership in Regular Languages
Antoine Amarilli, Sebastien Labbe, Charles Paperman
We introduce the task of out-of-order membership to a formal language L, where the letters of a word w are revealed one by one in an adversarial order. The length |w| is known in a…