From the 1 of 5 linked papers with an AI index.
5 papers
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…
Commutative N-polyregular functions
Aliaume Lopez
This paper studies which functions computed by -weighted automata can be realized by -weighted automata, under two extra assumptions: commutativity (the ord…
Computability of Equivariant Gröbner bases
Arka Ghosh, Aliaume Lopez
Let be a field, be an infinite set (of indeterminates), and be a group acting on . An ideal in the polynomial ring $\mathbb{K}…
Polyregular Model Checking
Aliaume Lopez, RafaÅ StefaÅski
We introduce a high-level language with Python-like syntax for string-to-string, polyregular, first-order definable transductions. This language features function calls, boolean va…
-polyregular functions arise from well-quasi-orderings
Aliaume Lopez
A fundamental construction in formal language theory is the Myhill-Nerode congruence on words, whose finitedness characterizes regular language. This construction was generalized t…