マルコフ過程
The states of such an automaton correspond to the states of a "discrete-state discrete-parameter Markov process".