Ruohonen, Keijo On a variant of a method of Berstel’s and Nielsen’s. (English) Zbl 0475.68044 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 4, 369-400 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 Documents MSC: 68Q45 Formal languages and automata 68Q42 Grammars and rewriting systems Keywords:developmental systems; decidability; language equivalence problem; HDOL systems; HDOL sequence equivalence problem Citations:Zbl 0346.92001 × Cite Format Result Cite Review PDF