commit 81b4ef3643e9eb9e507ffc17c63bdc61a9451a33
parent 8034d49ca7eb1ba8d42b5950aa541d9e74ceb74e
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Sun, 12 Oct 2025 00:10:29 +0200
commit with codex
Diffstat:
3 files changed, 7 insertions(+), 1 deletion(-)
diff --git a/omega_automata b/omega_automata
@@ -6,4 +6,4 @@
Up: [automata]
-See also: [word_infinite]
+See also: [word_infinite], [automata_on_infinite_words]
diff --git a/stack_automaton b/stack_automaton
@@ -0,0 +1,5 @@
+# Stack automaton
+
+Studied in [ginsburg1967stack]
+
+Up: [pushdown_automaton]
diff --git a/word b/word
@@ -11,6 +11,7 @@ Quantities:
Generalizations:
- [data_word]
- [dynamic_word]
+- [infinite_word]
Operations:
- [concatenation]