formal description language英式朗读美式朗读基本解释[计] 形式描述语言上一个单词:formal description下一个单词:formal design description