scientific article; zbMATH DE number 3644504

MaRDI QIDQ3049833zbMATH OpenFDO

Authors Andrzej Ehrenfeucht, Grzegorz Rozenberg

Publication date 1977

zbMATH Keywords

decidabilitydevelopment systemsDol sequenceslocal catenativeness of bounded depthnonerasing morphismsimplification of Dol systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited in

(8)

• 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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3049833)