Similar Items: Introduction to probabilistic automata /