分类停时后的布朗运动

令 tau = inf{t : |W_t| = 1}。把 X_t = W_{t wedge tau} 分类。