Factorization in formal languages
From MaRDI portal
Abstract: We consider several novel aspects of unique factorization in formal languages. We reprove the familiar fact that the set uf(L) of words having unique factorization into elements of L is regular if L is regular, and from this deduce an quadratic upper and lower bound on the length of the shortest word not in uf(L). We observe that uf(L) need not be context-free if L is context-free. Next, we consider variations on unique factorization. We define a notion of "semi-unique" factorization, where every factorization has the same number of terms, and show that, if L is regular or even finite, the set of words having such a factorization need not be context-free. Finally, we consider additional variations, such as unique factorization "up to permutation" and "up to subset".
Recommendations
Cites work
- A note on multiset decipherable codes
- A Second Course in Formal Languages and Automata Theory
- Automata, Boolean matrices, and ultimate periodicity.
- Codes and automata.
- Coding partitions
- Deciding multiset decipherability
- scientific article; zbMATH DE number 4087055 (Why is no real title available?)
- scientific article; zbMATH DE number 3664335 (Why is no real title available?)
- scientific article; zbMATH DE number 826059 (Why is no real title available?)
- Inverse star, borders, and palstars
- Multiset and set decipherable codes
- Nondeterministic Space is Closed under Complementation
- On multiset decipherable codes (Corresp.)
- The finest homophonic partition and related code concepts
This page was built for publication: Factorization in formal languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3451092)