Unambiguity in Timed Regular Languages: Automata and Logics.
Paritosh K. PandyaSimoni S. ShahPublished in: FORMATS (2010)
Keyphrases
- regular languages
- finite state machines
- regular expressions
- finite automata
- grammatical inference
- context free languages
- decision problems
- finite state automata
- context free grammars
- pac learning
- timed automata
- pattern matching
- positive data
- inference rules
- fixpoint
- context free
- inductive inference
- computational complexity
- xml schema
- model checking
- matching algorithm
- query language
- hidden markov models