Two-Way Finite State Transducers and Monadic Second-Order Logic.
Joost EngelfrietHendrik Jan HoogeboomPublished in: ICALP (1999)
Keyphrases
- finite state transducers
- monadic second order logic
- finite state
- tree automata
- expressive power
- data complexity
- regular expressions
- machine translation
- first order logic
- markov chain
- markov decision processes
- language modeling
- n gram
- model checking
- query language
- optimal policy
- grammatical inference
- edit distance
- dynamic programming
- finite automata
- query answering
- databases
- statistical pattern recognition
- hidden markov models
- context free grammars
- knowledge representation
- information retrieval
- production rules
- distance measure
- pattern matching
- sufficient conditions