Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power.
Davide BresolinKhaled El-FakihTiziano VillaNina YevtushenkoPublished in: GandALF (2014)
Keyphrases
- expressive power
- finite state machines
- query language
- model checking
- data complexity
- finite state automata
- fixpoint
- regular expressions
- first order logic
- relational algebra
- computational properties
- relational calculus
- datalog programs
- transitive closure
- temporal logic
- data model
- machine learning
- pattern matching
- recursive queries