𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the decidability of homomorphism equivalence for languages

✍ Scribed by K. Culik II; Arto Salomaa


Publisher
Elsevier Science
Year
1978
Tongue
English
Weight
779 KB
Volume
17
Category
Article
ISSN
0022-0000

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.