Similar Items: Quantitative Automata under Probabilistic Semantics