En mathématiques et en informatique théorique, et notamment en théorie des automates, un automate probabiliste est une généralisation des automates finis non déterministes; chaque transition de l`automate est équipée d`une probabilité (un nombre réel entre 0 et 1). Les transitions sont ...