基本解釋[計算機科學(xué)技術(shù)]結(jié)搆化操作語義詞組短語短語Dynamic structured operational semantics 動態(tài)結(jié)搆化操作語義structured operational semantics更多詞組專業(yè)釋義計算機科學(xué)技術(shù)結(jié)搆化操作語義