An introduction to timed languages and timed automata

• Main Authors: Obach, Darlene Daryl, Jamoralin, Karl Nikolai, Ong, Arlyn Verina L., Ong, Russell
• Format: text
• Published: Animo Repository 2005
• Subjects: Sequential machine theory; Computer Sciences
• Online Access: https://animorepository.dlsu.edu.ph/faculty_research/8585
• Institution: De La Salle University

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...