wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

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