commit e5e860848ad5eb239e41ecc28c04cdf960a19443
parent ac18fd83e3ec25d86adc0209a36cce56b9dc4c15
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Fri, 6 Mar 2026 12:03:51 +0100
commit with codex
Diffstat:
4 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/derivative b/derivative
@@ -9,3 +9,5 @@ We can also define the *derivative* of a [formal_language], cf [quotient_formal_
See also: [variety]
Up: [formal_language]
+
+Aliases: formal language derivative
diff --git a/monoid b/monoid
@@ -13,6 +13,7 @@ A [semigroup] with [neutral_element]
- [monoid_aperiodic]
- [transition_monoid]
- [monoid_definite]
+- [monoid_recognizes]
Up: [algebraic_structure], [mathematics]
diff --git a/neutral_element b/neutral_element
@@ -8,4 +8,4 @@ When you have a [semigroup], you can add a neutral element if necessary and you
Up: [algebra_basic_definitions]
-See also: [annihilating_element]
+See also: [annihilating_element], [neutral_letter]
diff --git a/tape_construction b/tape_construction
@@ -9,3 +9,5 @@ Gives [rectangular_complexity] O(|A| |w|) in time and space, and O(|Q|) query ti
The complexity is non-optimal, because O(1) instead of O(|Q|) can be achieved with a [data_structure] for [level_ancestor] queries
Up: [tuple_testing_automaton]
+
+Aliases: Bojanczyk's tape construction
