On the decidability of the equivalence problem for partially commutative rational power series (Q1193904)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the decidability of the equivalence problem for partially commutative rational power series |
scientific article; zbMATH DE number 65335
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the decidability of the equivalence problem for partially commutative rational power series |
scientific article; zbMATH DE number 65335 |
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
0.92238796
0 references
0.9113734
0 references
0.9037284
0 references
0.8929557
0 references
0.89227325
0 references
0 references
0.88080883
0 references
0.8789178
0 references
