この資料をSMS送信: The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata