The concept of timed automata changes the concept of a finite automaton to some degree. Here comes a basic exercise to understand the basic mechanisms.
- Convert your tiny semester project into a version using timed automata.
- Apply the defintions of the chapter about timed automata by showing how your project generates some runs.
Use the following sections of the lecture notes on the Web:
Chapter: Automata, Languages, and Graphs
Section: Timed Automata
- Discrete and Continous Time
- Example extended with Clocks
- Finite Automata and Clocks
- Automata Theoretic Semantics of Time
Gerd Doeben-Henisch
2010-03-03