Location of Repository

Some Undecidability Results related to the Star Problem in Trace Monoids

By Grundlagen Der Programmierung, Fakult At Informatik, Technische Berichte, In Trace Monoids, In Trace Monoids and Daniel Kirsten and Daniel Kirsten

Abstract

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 from 1994 [30, 31], we know that the Star Problem is decidable in trace monoids which do not contain a C4-submonoid. The C4 is (isomorphic to) the Cartesian Product of two free monoids over doubleton alphabets. It is not known, whether the Star Problem is decidable in C4 or in trace monoids containing a C4. In this paper, we show undecidability of some related problems: Assume a trace monoid which contains a C4. Then, it is undecidable whether for two given recognizable languages K and L, we have K ` L , although we can decide K ` L. Further, we can not decide recognizability of K " L as well as universality and recognizability of K [ L . This work has been supported by the postgraduate program "Specification of discrete processes and systems of processes by opera..

Year: 1998
OAI identifier: oai:CiteSeerX.psu:10.1.1.36.2756
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://orchid.inf.tu-dresden.d... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.