The Sequence Equivalence Problem for D0L Systems is Decidable

Karel Culik II, Ivan Fris. The Sequence Equivalence Problem for D0L Systems is Decidable. In Arto Salomaa, Magnus Steinby, editors, Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings. Volume 52 of Lecture Notes in Computer Science, pages 148-163, Springer, 1977.

Abstract

Abstract is missing.