An introduction to timed languages and timed automata
Timed languages are introduced as a class of languages that accepts timed words: sequences of events wherein each event is associated with a certain time of occurrence. To model timed regular languages, timed automata must be used. These are extensions of finite automata wherein each occurs fulfilli...
Saved in:
| Main Authors: | , , , |
|---|---|
| 格式: | text |
| 出版: |
Animo Repository
2005
|
| 主題: | |
| 在線閱讀: | https://animorepository.dlsu.edu.ph/faculty_research/8585 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|