The Star Problem and the Finite Power Property in Trace Monoids: Reductions beyond C4

Daniel Kirsten
2002 Information and Computation  
We deal with the star problem in trace monoids which means to decide whether the iteration of a recognizable trace language is recognizable. We consider trace monoids K n = {a 1 , b 1 } * × · · · × {a n , b n } * . Our main result asserts that the star problem is decidable in some trace monoid M iff it is decidable in the biggest K n submonoid in M. Consequently, future research on the star problem can focus on the trace monoids K n . We develop the main results of the paper for the finit power
more » ... problem. Then, we establish the link to the star problem by applying the recently shown decidability equivalence between the star problem and the finit power problem (D. Kirsten and G. Richomme, 2001, Theory Comput. Systems 34, 193-227). C 2002 Elsevier Science (USA) 22 0890-5401/02 $35.00 C 2002 Elsevier Science (USA) All rights reserved.
doi:10.1006/inco.2002.3152 fatcat:5dyguoonzbexnnsu6iukrvxnda