Showing 2024Show all
2 papers · 1 filter
cs.FL2024
-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…
cs.LO2024
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…