A device, with a finite number of internal states, that scans words over a finite alphabet, with the next state determined according to probabilistic functions of the current input word.