Title: Introduction to probabilistic automata
Subjects: Markov processes, Probabilistic automata, Sequential machine theory