基本解释[計算機科學技術]結搆化操作語義词组短语短語Dynamic structured operational semantics 動態結搆化操作語義structured operational semantics更多词组专业释义計算機科學技術結搆化操作語義