๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On the decidability of the equivalence problem for partially commutative rational power series

โœ Scribed by Stefano Varricchio


Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
481 KB
Volume
99
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The Equivalence Problem for DF0L Languag
โœ Juha Honkala ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 158 KB

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.