Ehrenfeucht, A.; Rozenberg, G. On simplifications of PDOL systems. (English) Zbl 0414.68046 Proc. Conf. theoretical computer science, Waterloo/Ontario 1977, 81-87 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 8 Documents MSC: 68Q45 Formal languages and automata Keywords:development systems; simplification of Dol systems; decidability; nonerasing morphism; local catenativeness of bounded depth; Dol sequences PDF BibTeX XML OpenURL