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