Polynomials, Fragments of Temporal Logic and the Variety DA over Traces
We show that some language theoretic and logical characterizations of recognizable word languages whose syntactic monoid is in the variety DA also hold over traces. To this aim we give algebraic characterizations for the language operations of generating the polynomial closure and generating the unambiguous polynomial closure over traces.
We also show that there exist natural fragments of local temporal logic that describe this class of languages corresponding to DA. All characterizations are known to hold for words.
KeywordsTemporal Logic Language Variety Semigroup Variety Commutative Monoids Algebraic Characterization
Unable to display preview. Download preview PDF.
- 1.Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)Google Scholar
- 4.Mazurkiewicz, A.: Concurrent program schemes and their interpretations. DAIMI Rep. PB, vol. 78. Aarhus University, Aarhus (1977)Google Scholar
- 11.Tesson, P.: Personal communicationGoogle Scholar