Se trata de máquinas no deterministas que toman decisiones basándose también en el azar.