Los autómatas probabilísticos nos permiten tener una idea de cómo la transición entre estados de un autómata puede no ser factible (probabilidad 1) sino que puede llegar a existir una probabilidad asociada a que se realice una determinada transición.