wiki_research

commit 2f22f29f95b4467a623914fb91d5d3f6de09981a
parent 6c974caa3a1f0f76fca06980b9aec9f6892e8890
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Fri, 10 Apr 2026 17:38:18 +0200

commit with codex

Diffstat:
academic_paper_list
 | 
2
++
context_free_grammar_equivalence
 | 
2
++
enumeration_tasks
 | 
1
+
pattern_matching
 | 
2
+-
regex
 | 
2
++
regular_expression
 | 
4
++++
spanner
 | 
2
+-
spanner_regular
 | 
2
++

8 files changed, 15 insertions(+), 2 deletions(-)
diff --git a/academic_paper_list b/academic_paper_list
@@ -17,3 +17,5 @@
 - [tziavelis2022any]
 
 Up: [list_wiki] of [academic_paper]
+
+See also: [interesting_papers]
diff --git a/context_free_grammar_equivalence b/context_free_grammar_equivalence
@@ -4,6 +4,8 @@ Two [CFGs] are *equivalent* if they recognize the same [formal_language]
 
 - [computational_problem]: [context_free_grammar_equivalence_problem]
 
+in [practice]: [context_free_grammar_equivalence_practice]
+
 Up: [context_free_grammar], [language_equivalence]
 
 Aliases: CFG equivalence, CFG equivalent, equivalent CFG, grammar equivalent
diff --git a/enumeration_tasks b/enumeration_tasks
@@ -23,5 +23,6 @@
 - [enumeration_topological_sort]
   - https://cstheory.stackexchange.com/questions/36334/enumerating-topological-sorts-of-a-vertex-labeled-dag
 - [enumeration_valuations]
+- [enumeration_posets]
 
 Up: [enumeration]
diff --git a/pattern_matching b/pattern_matching
@@ -27,7 +27,7 @@
 
 - [two_way_string_matching]
 - [regular_expression]
-- [pattern_with_variables]
+- [matching_pattern_with_variables], [pattern_with_variables]
 - [pattern_matching_wildcards] when allowing [wildcards]
 - [pattern_matching_dontcare] when allowing [dontcares] (one single symbol can be anything)
 - [pattern_matching_compressed] on [compressed_data]
diff --git a/regex b/regex
@@ -10,3 +10,5 @@ can be translated to [FCreg] if there is no variable under [kleene_star]
 [regex_deterministic]
 
 Up: [regular_expression]
+
+Aliases: regular spanner, regular spanners
diff --git a/regular_expression b/regular_expression
@@ -9,6 +9,10 @@ Notions:
 - [star_height]
 - [generalized_star_height]
 
+Generalization:
+
+- [variable_regular_expression]
+
 [computational_problems]:
 
 - [regular_expression_matching]
diff --git a/spanner b/spanner
@@ -54,6 +54,6 @@
 
 Up: [formal_language_theory], [database_theory]
 
-See also: [graph_spanner], [capture_variable], [annotation_automata]
+See also: [graph_spanner], [capture_variable], [annotation_automata], [variable_regular_expression]
 
 Aliases: document spanner, document spanners, spanners
diff --git a/spanner_regular b/spanner_regular
@@ -6,3 +6,5 @@ two equivalent definitions ([peterfreund2019complexityb] section 2.4):
   - optionally with [difference]
 
 Up: [spanner]
+
+See also: [variable_regular_expression]