Finite automata on timed ω-trees
✍
Salvatore La Torre; Margherita Napoli
📂
Article
📅
2003
🏛
Elsevier Science
🌐
English
⚖ 264 KB
In the last decade Alur and Dill introduced a model of automata on timed !-sequences which extends the traditional models of ÿnite automata. In this paper, we present a theory of timed !-trees which extends both the theory of timed !-sequences and the theory of !-trees. The main motivation is to int