On Some Decidable Properties of Finite State Translations.

Alan J. Demers C. Keleman Bernd Reusch

Published in: Acta Informatica (1982)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
machine translation
action sets
machine learning
partially observable markov decision processes
context free
natural language
dynamic programming
vector quantizer
tree automata