Regularity as seen by Alice and Bob

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

The goal of this paper is to propose a unifying model for Nerode-style characterizations of regularity across functions with different output domains. Building on Hauser's work in…