Un autómata probabilístico es una generalización del automáta finito no determinista; incluye la probabilidad de una transición dada de una función de transición, convirtiéndola en una matriz de transición.