23.2.2 将MMT自动机转化为通用定时自动机