Copyright © 1999 Elsevier Science B.V. All rights reserved.
Note
On the equivalence problem of context-free and DT0L languages
Available online 9 December 1999.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
It is undecidable whether or not a given context-free language and a propagating DT0L language are equal. We show that equivalence is decidable between context-free and everywhere growing DT0L languages.
Author Keywords: DT0L language; Context-free language; Equivalence problem







E-mail Article
Add to my Quick Links

Cited By in Scopus (0)

be the lexicographic ordering on






