Kleene theorems for event-clock automata
We define some class of regular expressions equivalent to event-clock automata. It is shown that regular expressions cannot be given a compositional semantics in terms of timed state sequences. We introduce a modified version of timed state sequences supporting a partial operation of concatenation on which we may build the semantics of regular expressions. A forgetting map then induces a semantics in terms of the classic version of timed state sequences. We also define several types of languages of automata in terms of classic or modified timed state sequences. Two Kleene theorems, one for each type of timed state sequences, relating expressions and event-clock automata are proved.
KeywordsRegular Expression Expressive Power Empty Word Observable Action Limited Observation
Unable to display preview. Download preview PDF.
- [ACM97]E. Asarin, P. Caspi and O. Maler, A Kleene Theorem for Timed Automata, in G. Winskel (Ed.) Proc. LICS’97, 160–171, 1997.Google Scholar
- [BP99]P. Bouyer and A. Petit, Decomposition and composition of timed automata, to appear in Proc. of ICALP’ 99, LNCS series, 1999.Google Scholar
- [Di1]C. Dima. Real-time automata and their class of accepted languages, draft of a UNU/IIST report, available at http://funinf.math.unibuc.ro/~cdima/work/expressive.ps.gz.
- [Di2]C. Dima. Complementation of real-time automata, submitted to FCT&TCS’99, available at http://funinf.math.unibuc.ro/~cdima/work/mfcs.ps.gz.
- [Di3]C. Dima. Automata and Regular Expressions for Real-Time Languages, submitted to AFL’99, abstract available at http://funinf.math.unibuc.ro/~cdima/work/abstract.ps.gz.
- [Di4]C. Dima. Removing transitions from event-clock automata, in preparation, available at http://funinf.math.unibuc.ro/~cdima/work/eps-elim.ps.gz.
- [HRS98]T.A. Henzinger, J.-F. Raskin and P.-Y. Schobbens. The regular real-time languages, in Proceedings of the 25-th International Colloquium on Automata, Languages and Programming LNCS series, Springer Verlag, 1998.Google Scholar
- [HU]John E. Hopcroft and Jeffrey D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley/Narosa Publishing House, eighth edition, New Delhi, 1992.Google Scholar
- [Tho90]W. Thomas. Automata on infinite objects, in J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, vol B, 133–191, Elsevier, Amsterdam, 1997.Google Scholar