wiki_research

commit af21bb776fe794fcfb624f6cc8e130e7ec5d626c
parent 053085b81f8b43946d17f6315c77da39679b54c9
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]