Finite-State Unification Automata and Relational Languages
Yael ShemeshNissim FrancezPublished in: Inf. Comput. (1994)
Keyphrases
- finite state
- context free
- markov chain
- markov decision processes
- model checking
- tree automata
- relational databases
- expressive power
- optimal policy
- average cost
- vector quantizer
- transition systems
- finite state transducers
- n gram
- image compression
- partially observable markov decision processes
- hidden markov models
- optimal solution