commit e49af447514d6dcb14d2194f52e9cf46c176e237
parent 73b42532a9d15d4b0b84d9aef5bcbc673225a63e
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Wed, 23 Sep 2026 18:16:06 +0200
commit with codex
Diffstat:
8 files changed, 31 insertions(+), 6 deletions(-)
diff --git a/concatenation b/concatenation
@@ -4,6 +4,6 @@ Operation on [word]
It is [associativity]
-See also: [theory_of_concatenation], [concatenation_hierarchy]
+See also: [theory_of_concatenation], [concatenation_hierarchy], [language_concatenation]
Up: [formal_language_operator]
diff --git a/convolution b/convolution
@@ -0,0 +1,9 @@
+# Convolution
+
+- [fast_fourier_transform]
+- [min_max_convolution]
+- [min_plus_convolution]
+
+Up: [mathematics]
+
+Aliases: convolutions
diff --git a/formal_language b/formal_language
@@ -15,6 +15,7 @@ A [set] of [words] over an [alphabet]
- [density_function]
- [language_unary]
- [formal_language_primality]
+- [formal_language_complexity_measure]
- [computational_problems]: [formal_language_computational_problems]
diff --git a/formal_language_complexity_measure b/formal_language_complexity_measure
@@ -0,0 +1,8 @@
+# Formal language complexity measure
+
+- [state_complexity]
+- [language_density]
+- [star_height]
+ - [generalized_star_height]
+
+Up: [formal_language]
diff --git a/formal_language_operator b/formal_language_operator
@@ -6,8 +6,8 @@ An [operator] that takes one or two [formal_languages] and creates a new [formal
- [language_union]
- [language_intersection]
- [language_complementation]
-- [concatenation]
-- [kleene_star]
+- [language_concatenation]
+- [language_kleene_star] aka "iteration"
- [morphism] / [inverse_morphism]
- [quotient_formal_language]
- see [derivative]
@@ -23,4 +23,4 @@ An [operator] that takes one or two [formal_languages] and creates a new [formal
Up: [formal_language], [operator]
-Aliases: language operator, language operators
+Aliases: language operator, language operators, language operation, language operations
diff --git a/language_complementation b/language_complementation
@@ -6,4 +6,4 @@ The [complementation] of a [formal_language]
Up: [complementation]
-Aliases: language complement
+Aliases: language complement, formal language complement, formal language complementation
diff --git a/regular_language_union_free b/regular_language_union_free
@@ -8,6 +8,6 @@ The [regular_languages] whose definition as a [regular_expression] does not use
Up: [regular_language_family]
-See also: [union], [disjunction_free]
+See also: [union], [disjunction_free], [kutrib2026subregular]
Aliases: union free regular language, union free regular languages, regular expression union free, union free regular expression
diff --git a/star_height b/star_height
@@ -0,0 +1,7 @@
+# Star height
+
+https://en.wikipedia.org/wiki/Star_height
+
+minimum nesting depth of stars in a [regular_expression]
+
+Up: [formal_language_complexity_measure]
