On the decidability of the equivalence problem for partially commutative rational power series (Q1193904)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the decidability of the equivalence problem for partially commutative rational power series |
scientific article |
Statements
On the decidability of the equivalence problem for partially commutative rational power series (English)
0 references
27 September 1992
0 references
The author uses the equality theorem of Eilenberg, \textit{T. Harju} and \textit{J. Karhumäki} [see Theor. Comput. Sci. 78, 347-355 (1991; Zbl 0727.68063)] and the embedding result of \textit{G. Duchamp} and \textit{D. Krob} [LITP Report No. 90, 64 (1990)] to show that the equivalence problem is decidable for rational power series over a free partially commutative monoid.
0 references
equality theorem
0 references
equivalence problem
0 references
rational power series
0 references
free partially commutative monoid
0 references
