短语词组短语stochastic timed state automaton 随机赋时状态自动机minimizable timed automaton 可最小化的时间自动机 返回 timed automaton