>

formal definition

📖 中文释义

  1. [计] 形式语义; 形式定义