Finite-State Dimension and Real Arithmetic

David Doty Jack H. Lutz Satyadev Nandakumar

Published in: CoRR (2006)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
vector quantizer
tree automata
search space
state space
text classification
context free
markov processes