On the decidability of the equivalence problem for partially commutative rational power series (Q1193904): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:29, 5 March 2024
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