Introduction to Probabilistic Automata