On the decidability of the equivalence problem for partially commutative rational power series (Q1193904): Difference between revisions

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

Mathematics Subject Classification ID

20M05

0 references

0 references

0 references

0 references

equality theorem

0 references

equivalence problem

0 references

rational power series

0 references

free partially commutative monoid

0 references

reviewed by

Tero J.Harju

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Trace languages defined by regular string languages

0 references

0 references

0 references

0 references

0 references

The lower central series of the free partially commutative group

0 references

Q4079524

0 references

Multitape one-way nonwriting automata

0 references

The equivalence problem of multitape finite automata

0 references

Observations on group rings

0 references

On regular trace languages

0 references

Q4155837

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1193904

@@ Property / cites work @@
+Trace languages defined by regular string languages
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947146
@@ Property / cites work: Q3947146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3763601
@@ Property / cites work: Q3763601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787509
@@ Property / cites work: Q3787509 / rank @@
+Normal rank
@@ Property / cites work @@
+The lower central series of the free partially commutative group
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Multitape one-way nonwriting automata
@@ Property / cites work: Multitape one-way nonwriting automata / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem of multitape finite automata
+Normal rank
@@ Property / cites work @@
+Observations on group rings
@@ Property / cites work: Observations on group rings / rank @@
+Normal rank
@@ Property / cites work @@
+On regular trace languages
@@ Property / cites work: On regular trace languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank