形式语义定义

【计】 formal semantic definition

形式语义的英语翻译：

【计】 formal definition; formal semantics

定义的英语翻译：

define; definition; circumscription
【计】 DEF; define
【医】 definition