Membership problems for regular and context-free trace languages

A. Bertoni, G. Mauri, N. Sabadini
1989 Information and Computation  
Trace languages have been introduced in order to describe the behaviour of concurrent systems in the same way as usual formal languages do for sequential system. They can be defined as subsets of a free partially commutative monoid and a theory of trace languages can be developed, generalizing the usual formal languages theory. In this paper, the time complexity of membership problems for regular and context-free trace languages is investigated. It is proved that the membership problem for
more » ... xt free trace languages can be solved in time O(BM(n")), where a is the dimension of the greatest clique of the concurrency relation C and &V(n) is the time required for multiplying two arbitrary n x n boolean matrices. For regular trace languages, our method gives an algorithm which requires O(rP) time. Finally, the uniform membership problem is shown to be NP-complete. cc 1989 Academic Press, Inc.
doi:10.1016/0890-5401(89)90051-5 fatcat:iffdg6ym6fh7ldcfsq22vkwb7q