commit a36e73598a23e7404a9ef293aef2e2f2b6f74484
parent cf146336530bb2dd6421a453dfc9b51b949548fc
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Thu, 12 Jun 2025 15:02:35 +0200
commit with codex
Diffstat:
3 files changed, 17 insertions(+), 0 deletions(-)
diff --git a/property_testing_formal_language b/property_testing_formal_language
@@ -17,3 +17,5 @@
- called "approximate satisfiability"
Up: [property_testing], [formal_language]
+
+Aliases: property testing formal languages
diff --git a/regular_language b/regular_language
@@ -40,6 +40,7 @@
- [myhill_nerode_theorem]
- [myhill_nerode_relation]
- [pumping_lemma]
+- [regular_language_dichotomies]
See also: [automata]
diff --git a/regular_language_dichotomies b/regular_language_dichotomies
@@ -0,0 +1,14 @@
+# Regular language dichotomies
+
+- [aaronson2019quantum] about [quantum_query_complexity]
+- [amarilli2021dynamic] about [dynamic_membership]
+- [bathie2025trichotomy] about [property_testing_formal_languages]
+
+- [ganardi2024regular] on [space_complexity] in [sliding_window] model
+
+- [bagan2020trichotomy] about [simple_path_trichotomy]
+- [martens2023trichotomy] about [trail_trichotomy]
+
+Up: [regular_language], [dichotomy]
+
+See also: [trichotomy]
