wiki_research

commit d6f4ace3acf9e624bbf82ae6fb08d3d37d3d1cfd
parent aadad5c426a0946becb99494c5bd382e552eaf7b
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Thu, 16 Apr 2026 20:00:58 +0200

Merge remote-tracking branch 'origin/master'

Diffstat:
backreferences
 | 
2
++
regex
 | 
4
++++
regular_expression
 | 
1
+

3 files changed, 7 insertions(+), 0 deletions(-)
diff --git a/backreferences b/backreferences
@@ -2,6 +2,8 @@
 
 a way to refer back to something captured in a [regular_expression] (extended with captures)
 
+A [regular_expression] with backreferences is a [regex]
+
 Up: [regular_expression]
 
 See also: [refl_spanner], [spanner], [capture_variable]
diff --git a/regex b/regex
@@ -7,8 +7,12 @@
 
 can be translated to [FCreg] if there is no variable under [kleene_star]
 
+in [practice], cf [havlena2026towards]
+
 [regex_deterministic]
 
 Up: [regular_expression]
 
 Aliases: regular spanner, regular spanners
+
+See also: [context_free_grammar], [regex_fine_grained]
diff --git a/regular_expression b/regular_expression
@@ -12,6 +12,7 @@ Notions:
 Generalization:
 
 - [variable_regular_expression]
+- [regex]
 
 [computational_problems]: