Publication:3049833
From MaRDI portal
zbMath0414.68046MaRDI QIDQ3049833
Andrzej Ehrenfeucht, Grzegorz Rozenberg
Publication date: 1977
decidability; development systems; Dol sequences; local catenativeness of bounded depth; nonerasing morphism; simplification of Dol systems
68Q45: Formal languages and automata
Related Items
Sur le théorème du defaut, Every two equivalent DOL systems have a regular true envelope, Zeros of Z-rational functions and DOL equivalence, The decidability of v-local catenativity and of other properties of DOL systems, Elementary homomorphisms and a solution of the DOL sequence equivalence problem, On the periodicity of morphisms on free monoids, Doubly deterministic tabled OL systems, The decidability of the dol prefix problem