Decidability of Right One-Way Jumping Finite Automata.
Simon BeierMarkus HolzerPublished in: DLT (2018)
Keyphrases
- finite automata
- description logics
- deterministic automata
- regular expressions
- grammatical inference
- probabilistic automata
- query answering
- tree automata
- regular languages
- hidden markov models
- database systems
- query evaluation
- data mining
- knowledge representation
- relational databases
- knowledge base
- artificial intelligence