wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs
commit 21e1e92a496675a97e44a71fba3aa47766bcb2cf
parent 98abfc306e3163f7274f79edf923a3b02c36b051
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sat, 20 Sep 2025 21:12:22 +0200

commit with codex

Diffstat:

automata_parikh | 4+++-


1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/automata_parikh b/automata_parikh
@@ -4,8 +4,10 @@ https://fr.wikipedia.org/wiki/Automate_de_Parikh
 
 introduced in [klaedtke2003monadic]
 
+Also called Z-VASS in [czerwinski2020approach], or integer VASS in [clemente2016separability]
+
 Up: [automata_types]
 
 See also: [parikh_image]
 
-Aliases: Parikh automata
+Aliases: Parikh automata, Parikh automaton