Los autómatas probabilísticos se definen con una quintupla: