短语词组短語stochastic timed state automaton 隨機賦時狀態自動機minimizable timed automaton 可最小化的時間自動機 返回 timed automaton