wiki_research

commit 2e2d6f0e6f3adb1a84a2b53458399f82e2d5aa5d
parent 9338f1833b2e0fd51ac22d5f7a98e998a90859be
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 21 Jan 2026 17:32:24 +0100

Merge remote-tracking branch 'origin/master'

Diffstat:
automata_nondeterministic
 | 
4
++++
automaton_enumeration
 | 
7
+++++++
automaton_epsilon_transitions
 | 
6
++++--
context_free_grammar
 | 
1
+
context_free_grammar_enumeration
 | 
9
+++++++++
enumeration_techniques
 | 
4
++++

6 files changed, 29 insertions(+), 2 deletions(-)
diff --git a/automata_nondeterministic b/automata_nondeterministic
@@ -1,11 +1,15 @@
 # Automata nondeterministic (NFA)
 
+https://en.wikipedia.org/wiki/Nondeterministic_finite_automaton
+
 A [one_way_automaton] which is [nondeterministic]
 
 There are known upper bounds on the size of the smallest [DFA] corresponding to an NFA
 
 Special case: [automata_nondeterministic_dense]
 
+Generalization: [epsilonNFA]
+
 Up: [one_way_automaton], [nondeterministic]
 
 See also: [epsilon_transition]
diff --git a/automaton_enumeration b/automaton_enumeration
@@ -0,0 +1,7 @@
+# Automaton enumeration
+
+see [ackerman2009efficient], and also [enumeration_blit]
+
+See also: [context_free_grammar_enumeration]
+
+Up: [automaton], [enumeration]
diff --git a/automaton_epsilon_transitions b/automaton_epsilon_transitions
@@ -1,7 +1,9 @@
 # Automaton epsilon transitions
 
-[automata_nondeterministic] with [epsilon_transition]
+https://en.wikipedia.org/wiki/Nondeterministic_finite_automaton#NFA_with_%CE%B5-moves
+
+[NFAs] with [epsilon_transitions]
 
 Up: [automata_types]
 
-Aliases: NFA epsilon
+Aliases: NFA epsilon, epsilonNFA, epsilonNFAs
diff --git a/context_free_grammar b/context_free_grammar
@@ -44,6 +44,7 @@
 - [smallest_grammar_problem]
 - [context_free_grammar_membership]
 - [context_free_grammar_ambiguity_problem]
+- [context_free_grammar_enumeration]
 
 ## Fields
 
diff --git a/context_free_grammar_enumeration b/context_free_grammar_enumeration
@@ -0,0 +1,9 @@
+# Context free grammar enumeration
+
+- [cfg_enumeration_blit]
+
+Up: [context_free_grammar], [enumeration]
+
+See also: [automaton_enumeration]
+
+Aliases: CFG enumeration
diff --git a/enumeration_techniques b/enumeration_techniques
@@ -5,5 +5,9 @@
 - [proximity_search], enumeration framework (cf [wepa_2022])
 - [enumeration_via_circuit]
 - [cheaters_lemma], in [carmeli2021enumeration] Lemma 7
+- [Lawler_murty]
+- [flashlight_search]
 
 Up: [enumeration]
+
+Aliases: enumeration technique