Information and Computation
Decidability of the Star Problem in A*×b *
Information Processing Letters
New results on the star problem in trace monoids
Information and Computation
Partial commutation and traces
Handbook of formal languages, vol. 3
The Book of Traces
Some Trace Monoids Where Both the Star Problem and the Finite Power Property Problem are Decidable
MFCS '94 Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science 1994
The "Last" Decision Problem for Rational Trace Languages
LATIN '92 Proceedings of the 1st Latin American Symposium on Theoretical Informatics
A Connection between the Star Problem and the Finite Power Property in Trace Monoids
A Connection between the Star Problem and the Finite Power Property in Trace Monoids
Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids
Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids
Limited subsets of a free monoid
SFCS '78 Proceedings of the 19th Annual Symposium on Foundations of Computer Science
The Star Problem in Trace Monoids: Reductions Beyond C4
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Hi-index | 0.00 |
This paper deals with a connection between the star problem and the finite power problem in trace monoids. Both problems are decidable in trace monoids without C4 submonoid [21] but remain open in all other trace monoids. We show a connection between these problems. Assume two disjoint trace monoids M(Γ IΓ) and M(Δ IΔ). Assume further a recognizable language L ⊆ M(Γ IΓ)×M(Δ IΔ) such that every trace in L contains at least one letter in Γ and at least one letter in Δ. Our main theorem asserts that L* is recognizable iff L has the finite power property.