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