Abstract.
In the last decade, research on the star problem in trace monoids (is the iteration of a recognizable language also recognizable?) has pointed out the importance of the finite power property to achieve partial solutions to this problem. We prove that the star problem is decidable in some trace monoid if and only if, in the same monoid, it is decidable whether a recognizable language has the finite power property. Intermediate results allow us to give a shorter proof for the decidability of the two previous problems in every trace monoid without a C4 submonoid.
We also deal with some earlier ideas, conjectures, and questions which have been raised in the research on the star problem and the finite power property, e.g., we show the decidability of these problems for recognizable languages which contain at most one non-connected trace.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received April 29, 1999, and in revised form November 8, 2000 and in final form November 24, 2000. Online publication February 26, 2001.
Rights and permissions
About this article
Cite this article
Kirsten, D., Richomme, G. Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids . Theory Comput. Systems 34, 193–227 (2001). https://doi.org/10.1007/s00224-001-0006-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-001-0006-x