automata_parikh (393B)
1 # Automata parikh 2 3 https://fr.wikipedia.org/wiki/Automate_de_Parikh 4 5 introduced in [klaedtke2003monadic] 6 7 Also called Z-VASS in [czerwinski2020approach], or integer VASS in [clemente2016separability] 8 9 The [universality_problem] for Parikh automata is [undecidable] according to [klaedtke2003monadic]. 10 11 Up: [automata_types] 12 13 See also: [parikh_image] 14 15 Aliases: Parikh automata, Parikh automaton