Abstract
Given a recognizable trace language T there always exists a minimum (up to isomorphism) monoid automation which recognizes T . In this paper we consider finite state asynchronous automata, introduced by W. Zielonka ("Notes on Finite Asynchronous Automata," Technical Report, Institute of Mathematics, Warsaw Technical University, 1984) and we show that this result cannot be extended to this model. More precisely, we exhibit a recognizable trace language which does not admit a unique minimum asynchronous automaton. This result solves an open problem posed by Zielonka. We further prove that every recognizable trace language defined on a concurrent alphabet with a transitive dependency relation admits a unique minimum asynchronous automation. In the second part of this paper we investigate the equivalence problem for regular trace languages. This problem has been investigated by many authors: in particular, Aalbersberg and Hoogeboom (1987) have shown that the equivalence problem for regular trace languages defined over a concurrent alphabet 〈 Σ , C 〉 is decidable if and only if the concurrency relation C is transitive. We show that this result does not hold when we restrict our attention to unambiguous regular trace languages we exhibit a concurrent alphabet 〈 Σ ′, C ′〉 with a non transitive concurrency relation such that the equivalence problem for unambiguous regular trace languages on 〈 Σ ′, C ′〉 can be decided in polynomial time. Further we show that the problem of distinguishing whether or not a regular expression on a concurrent alphabet 〈 Σ , C 〉 defines an unambiguous regular trace language is undecidable .
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.