wiki_research

commit ac47bcaa0b3d78245718a6bc47485434641ed8a6
parent 49182d31257b760eed4dd522b87c64a09c5e9364
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Mon, 22 Sep 2025 16:01:07 +0200

commit with codex

Diffstat:
automata_parikh
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/automata_parikh b/automata_parikh
@@ -6,6 +6,8 @@ introduced in [klaedtke2003monadic]
 
 Also called Z-VASS in [czerwinski2020approach], or integer VASS in [clemente2016separability]
 
+The [universality_problem] for Parikh automata is [undecidable] according to [klaedtke2003monadic].
+
 Up: [automata_types]
 
 See also: [parikh_image]