Una máquina de Turing en el cual algunas transiciones son opciones al azar entre finitamente muchas alternativas.