23.1 MMT定时自动机