MSO definable string transductions and two-way finite state transducers
Joost EngelfrietHendrik Jan HoogeboomPublished in: CoRR (1999)
Keyphrases
- finite state transducers
- finite state
- machine translation
- n gram
- language modeling
- edit distance
- grammatical inference
- hidden markov models
- markov chain
- language model
- statistical pattern recognition
- tree automata
- first order logic
- expressive power
- distance function
- model checking
- machine learning
- document retrieval
- integrity constraints
- query expansion
- knowledge discovery
- active learning
- image retrieval
- natural language
- pattern recognition
- artificial intelligence