Introduction aux automates probabilistes

Où puis-je trouver une introduction aux automates probabilistes et ce qu'ils reconnaissent (certaines fonctions des mots à )? Existe-t-il un terme standard pour ces fonctions qui sont reconnues par les automates probabilistes, analogue aux «langages normaux» pour ce que les automates déterministes...