wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

commit 552b698cfda5f3fc76faa1ed00fef3789c2ebca1
parent 69ebf79db401ba2bdb730cb9f6abf00d26e87053
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Tue,  5 Aug 2025 15:12:01 +0200

commit with codex

Diffstat:
context_free_language | 4++++
context_free_language_unambiguous | 7+++++++
primitive_word | 2++
3 files changed, 13 insertions(+), 0 deletions(-)

diff --git a/context_free_language b/context_free_language @@ -6,6 +6,10 @@ - [context_free_language_slender] - [context_free_language_polyslender] +Subclass: + +- [context_free_language_unambiguous] + Up: [language], [context_free_grammar] Aliases: context-free languages, context free languages, context-free language, CFL, CFLs diff --git a/context_free_language_unambiguous b/context_free_language_unambiguous @@ -0,0 +1,7 @@ +# Context free language unambiguous + +An *unambiguous context free language* is a [CFL] that can be accepted by a [uCFG], i.e., it is a [CFL] which is not [inherently_ambiguous]. + +Up: [context_free_language] + +Aliases: uCFL, uCFLs, unambiguous CFL, unambiguous CFLs, unabiguous context free language, unambgiuous context free languages diff --git a/primitive_word b/primitive_word @@ -4,6 +4,8 @@ A [word] which is not a [power_mathematics] of another [word] - [primitive_root] +The [formal_language] of such words: [primitive_word_language] + Up: [word] See also: [prime_number], [prime_number_decomposition], [primitive_word_conjecture]