この資料をSMS送信: Automata for Modeling Reversible Probabilistic Processes