Two techniques in the area of the star p
β
Daniel Kirsten; Jerzy Marcinkowski
π
Article
π
2003
π
Elsevier Science
π
English
β 565 KB
This paper deals with decision problems related to the star problem in trace monoids which means to determine whether the iteration of a recognizable trace language is recognizable. Due to a theorem by Richomme (in: I.