Balance of many-valued transductions and equivalence problems (Q1095671)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Balance of many-valued transductions and equivalence problems |
scientific article |
Statements
Balance of many-valued transductions and equivalence problems (English)
0 references
1986
0 references
The notion of balance of two morphisms on a given language is generalized to deal with the whole family of rational transductions. The usefulness of balance for proving decidability of equivalence of rational transductions is established. In particular, an alternative proof for a result of Culik showing the decidability of the equivalence problem of single-valued rational transductions on regular languages is given. In addition, a new result showing the decidability of the equivalence problem of inverses of single-valued rational transductions on regular languages is obtained.
0 references
balance of two morphisms
0 references
rational transductions
0 references
equivalence
0 references
regular languages
0 references
0 references
0 references
0 references
0 references
