短語詞組短語stochastic timed state automaton 隨機賦時狀態(tài)自動機minimizable timed automaton 可最小化的時間自動機 返回 timed automaton