Describing Non-Deterministic Reactive Systems by Means of Regular Expressions.
Pascal RaymondYvan RouxPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- regular expressions
- reactive systems
- deterministic finite automata
- pattern matching
- finite automata
- query language
- semistructured data
- xml schema
- tree automata
- regular path queries
- information flow
- temporal logic
- formal methods
- model checking
- finite state machines
- query evaluation
- matching algorithm
- regular languages
- data mining
- petri net
- knowledge acquisition
- supply chain
- machine learning