Parikh's theorem for infinite alphabets

Piotr Hofman, Marta Juzepczuk, Sławomir Lasota +1

We investigate commutative images of languages recognised by register automata and grammars. Semi-linear and rational sets can be naturally extended to this setting by allowing for…