wiki_research

commit 91fb58843af5f767fbe8debeeafcd9b0280077c5
parent ad76f3838b1c8299b12bf35faf7caa4f6d0be190
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Mon, 10 Feb 2025 23:01:54 +0100

commit with codex

Diffstat:
alphabet_unary
 | 
10
++++++++++
language_unary
 | 
4
++--

2 files changed, 12 insertions(+), 2 deletions(-)
diff --git a/alphabet_unary b/alphabet_unary
@@ -0,0 +1,10 @@
+# Alphabet unary
+
+[Alphabet] which is a [singleton], i.e., contains one single [letter]
+
+- [language_unary]
+- [automata_unary]
+
+Up: [alphabet]
+
+Aliases: unary alphabet, unary alphabets
diff --git a/language_unary b/language_unary
@@ -1,9 +1,9 @@
 # Language unary
 
-language over [unary_alphabet]
+[Formal_language] over [unary_alphabet]
 
 Up: [formal_language]
 
-Aliases: unary language
+Aliases: unary language, unary languages
 
 See also: [density_function]