wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs
commit 8940bc529c8d967e4eae579129ec43aa484399d0
parent 6d5088b61598ac5a21f336d7cf266ee0825c5d04
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Thu,  3 Jul 2025 11:00:56 +0200

commit with codex

Diffstat:

simple_regular_expressions | 4++++


simple_transitive_expressions | 2+-


2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/simple_regular_expressions b/simple_regular_expressions
@@ -1,5 +1,7 @@
 # Simple regular expressions
 
+- notion of [STEs] from [martens2018evaluation]
+
 - version defined in [figueira2024boundedness]
   - allows w^* for a [word] w
   - allows [regular_expressions] without [Kleene_star]
@@ -20,3 +22,5 @@ Conjunctive Regular Path Queries"
   - otherwise [query_containment] drops to [Pi_p_2] or [PSPACE]
 
 Up: [regular_expression]
+
+Aliases: SRE
diff --git a/simple_transitive_expressions b/simple_transitive_expressions
@@ -6,4 +6,4 @@ Introduced in [martens2018evaluation]
 
 Up: [regular_expression]
 
-Aliases: simple transitive expression, STE
+Aliases: simple transitive expression, STE, STEs