Lazard's Elimination (in Traces) is Finite-State Recognizable.

Gérard Duchamp Jean-Gabriel Luque

Published in: Int. J. Algebra Comput. (2007)

Keyphrases

finite state
markov chain
markov decision processes
picture languages
model checking
optimal policy
vector quantizer
average cost
context free
finite automata
learning algorithm
tree automata
policy iteration
least squares
optimal solution
finite state transducers
machine learning
continuous time bayesian networks