短語詞組短語Dynamic structured operational semantics 動(dòng)態(tài)結(jié)構(gòu)化操作語義 返回 structured operational semantics