$\mathbb{N}$-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…