MSO definable string transductions and two-way finite-state transducers.
Joost EngelfrietHendrik Jan HoogeboomPublished in: ACM Trans. Comput. Log. (2001)
Keyphrases
- finite state transducers
- finite state
- machine translation
- n gram
- language modeling
- edit distance
- grammatical inference
- hidden markov models
- markov chain
- first order logic
- markov decision processes
- statistical pattern recognition
- language model
- tree automata
- monadic second order logic
- pattern recognition
- search engine
- optimal policy
- machine learning
- query expansion
- natural language processing
- nearest neighbor
- probabilistic model
- dynamic programming
- search space
- learning algorithm