wiki_research

commit 20a1b8ea08cd684a7408bf74488773f428af14a8
parent a0f615c413e2f907e46b54e7cad6177a7941a660
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Thu, 24 Jul 2025 14:48:38 +0200

Merge branch 'master' of a3nm.net:git/wiki_research

Diffstat:
automata_complementation
 | 
2
++
automata_types
 | 
1
+
co_lexicographic_order
 | 
2
+-
context_free_grammar
 | 
4
++++
turing_machine
 | 
1
+

5 files changed, 9 insertions(+), 1 deletion(-)
diff --git a/automata_complementation b/automata_complementation
@@ -7,3 +7,5 @@
 Up: [complementation], [automata]
 
 Aliases: automaton complement, automaton complementation
+
+See also: [automata_complementation_practice]
diff --git a/automata_types b/automata_types
@@ -30,5 +30,6 @@
 - [automata_weighted]
 - [omega_automata]
 - [automata_multitape]
+- [limited_automata]
 
 Up: [automata]
diff --git a/co_lexicographic_order b/co_lexicographic_order
@@ -2,6 +2,6 @@
 
 defined in [cotumaccio2023colexicographically]
 
-See also: [lexicographic_order], [cotumaccio2024myhill]
+See also: [lexicographic_order], [cotumaccio2024myhill], [Wheeler_NFA]
 
 Up: [order]
diff --git a/context_free_grammar b/context_free_grammar
@@ -44,6 +44,10 @@
 - [probabilistic_grammar]
 - [multiple_context_free_grammar]
 
+## Results
+
+- [Greibach's_theorem]
+
 See also: [regular_language], [chomsky_hierarchy], [context_free_language], [inherently_ambiguous], [graph_grammar], [semilinear_set], [language_power_series], [Hyperedge_replacement_grammar]
 
 Up: [formal_language_theory], [formal_grammar]
diff --git a/turing_machine b/turing_machine
@@ -15,6 +15,7 @@
 
 - [turing_machine_symmetric]
 - [turing_machine_weighted]
+- [turing_machine_multitape]
 
 ## Resources