Αποστολή με SMS: Introduction to probabilistic automata /