Campus Event Calendar
Event Entry
New for: D3, D4
What and Who
Bracketed automata
Pierre-Yves Schobbens
Univ Namur, Belgium
Talk
AG 1, AG 2, AG 3, AG 4
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 6 April 99
14:15
60 Minutes
MPI, Geb 46
019
Saarbrücken
Abstract
We present preliminary investigations on the link between timed automata
and regular expressions. We will present regular expressions
corresponding to ECA and RECA. Conversely, by translating the regular
expressions of [ACM], we get "bracketed automata". By generalising them
slightly, we obtain "overlapping automata", a more declarative variant
of timed automata [AD]. Getting back to the world of regular
expressions, we get "overlapping regular expressions" corresponding to
timed automata [AD].
Contact
Sergei Vorobyov
93-25-205
--email hidden
passcode not visible
logged in users only