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

The equality problem for Parikh simple algebraic power series

โœ Scribed by Juha Honkala


Book ID
104136780
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
64 KB
Volume
84
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

โœฆ Synopsis


A power series r with noncommuting variables is called Parikh simple if no two words in the support of r are commutatively equivalent. We show that equality is decidable for Parikh simple algebraic power series having their coefficients in a computable field.


๐Ÿ“œ 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.