A characterization of rational star languages generated by strong codes (Q1092172): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 02:12, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A characterization of rational star languages generated by strong codes |
scientific article |
Statements
A characterization of rational star languages generated by strong codes (English)
0 references
1987
0 references
It is shown here that for a strong code C the free monoid \(C^*\) is rational if and only if it is periodic and possesses the permutation property of \textit{A. Restivo} and \textit{C. Reutenauer} [Theor. Comput. Sci. 40, 13-30 (1985; Zbl 0597.68057)]. A code C is strong by definition if for all words u, w, v such that uwv is in \(C^*\) then \(uv\in C^*\) just in case \(w\in C^*\).
0 references
strong code
0 references
free monoid
0 references
permutation property
0 references
words
0 references