works on
automata theory 1communication complexity 1functions over arbitrary domains 1nerode theorem 1nominal sets 1regular languages 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.FL2026

Regularity as seen by Alice and Bob

Omid Yaghoubi, Mikołaj Bojańczyk, Aliaume Lopez +1

The paper proposes a unified model that extends Nerode-style characterizations of regularity to functions with arbitrary output domains, using a constant‑communication protocol bet…