Consensual languages and matching finite-state computations.
Stefano Crespi-ReghizziPierluigi San PietroPublished in: RAIRO Theor. Informatics Appl. (2011)
Keyphrases
- finite state
- markov chain
- context free
- markov decision processes
- model checking
- matching algorithm
- optimal policy
- reinforcement learning
- finite state transducers
- pattern matching
- data mining
- continuous time markov process
- continuous time bayesian networks
- context sensitive
- graph matching
- temporal logic
- state space
- dynamic programming
- similarity measure
- learning algorithm