commit db15a81122346cb363dd2b8ff1e9017da4687509
parent e51375350c75ce33a10d42e7704c084f153174ac
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Thu, 16 Apr 2026 10:14:59 +0200
commit with codex
Diffstat:
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]:
