结构化操作语义

结构化操作语义（structural operational semantics），计算机科学技术名词，由计算机科学家普洛特金（Plotkin）提出的一种操作语义形式，其特点是按程序语言的语法结构来定义语义。