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