Deciding sequentiability of finite-state transducers by finite-state pattern-matching.
Tamás GaálPublished in: Theor. Comput. Sci. (2004)
Keyphrases
- pattern matching
- finite state
- finite state transducers
- markov chain
- markov decision processes
- model checking
- regular expressions
- pattern matching algorithm
- optimal policy
- string matching
- bit parallel
- graph matching
- boyer moore
- language modeling
- machine learning
- state space
- probabilistic model
- approximate pattern matching
- query language