Culik, Karel II The ultimate equivalence problem for DOL systems. (English) Zbl 0385.68060 Acta Inf. 10, 79-84 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 9 Documents MSC: 68Q45 Formal languages and automata 03B25 Decidability of theories and sets of sentences 20M35 Semigroups in automata theory, linguistics, etc. PDF BibTeX XML Cite \textit{K. Culik II}, Acta Inf. 10, 79--84 (1978; Zbl 0385.68060) Full Text: DOI OpenURL