Abstract
My favorite example of a simple, “interesting” identity between regular expressions is
This identity is true for ALL formal languages X, Y. An easy “folk” theorem shows that this can be verified by instantiating the language variables X, Y as single letters a,b and verifying that (a*.b*)*=(a+b)*. Checking this second, variable-free, identity is a routine matter of checking equivalence of finite automata. In the “algebraic” approach to concurrent process theory pioneered by Milner and Hoare, the original Kleene operators of language union, concatenation and star are enriched with various renaming and parallel combination operators. The simplest of these is the NONcommunicating parallel connective, ‖, corresponding to the shuffle or merge product of languages. Even this operator creates some interesting complications: the “interleaving identity”
is certainly true for single letters a,b, but the version with language variables
is not true for all X,Y (let X=a, Y=bc).
In this talk, I survey some of the results and open problems concerning language identities motivated by concurrent process theory. For example, Rabinovitch and I have shown that the validity problem for regular identities with shuffle is exponential space complete.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Meyer, A.R. (1995). Concurrent process equivalences: Some decision problems. In: Mayr, E.W., Puech, C. (eds) STACS 95. STACS 1995. Lecture Notes in Computer Science, vol 900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59042-0_86
Download citation
DOI: https://doi.org/10.1007/3-540-59042-0_86
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59042-2
Online ISBN: 978-3-540-49175-0
eBook Packages: Springer Book Archive