Copyright © 2002 Elsevier Science (USA). All rights reserved.
Regular Article
The Equivalence Problem for DF0L Languages and Power Series
Received 12 October 2001;
revised 5 March 2002.
Available online 8 November 2002.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
We show that equivalence is decidable for D0L systems with finite axiom sets. We discuss also DF0L power series and solve their equivalence problem over computable fields.
Author Keywords: D0L systems; D0L systems with finite axiom sets; equivalence problem.







E-mail Article
Add to my Quick Links

Cited By in Scopus (2)



0. We show that for a large class of D0L systems, to decide the ultimate equivalence problem, it suffices to check whether or not 


