Every iterated morphism yields a co-CFL (Q1069710)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Every iterated morphism yields a co-CFL |
scientific article |
Statements
Every iterated morphism yields a co-CFL (English)
0 references
1986
0 references
The set of left factors of any infinite word generated by an iterated morphism is shown to be the complement of a one-counter context-free language. This is used to solve a problem stated by \textit{M. G. Main}, \textit{W. Bucher} and \textit{D. Haussler} [Lect. Notes Comput. Sci. 194, 404- 412 (1985)].
0 references
permutation-free word
0 references
one-counter context-free language
0 references
