Commutative N-polyregular Functions: Decidability and Characterization

Commutative N-polyregular functions can be effectively characterized and their membership is decidable. This resolves an open conjecture on the relationship between star-free N-polyregular functions and star-free Z-polyregular functions.