formal description language

body... ... formal language 形式语言 formal description language 形式描述语言 formula language 公式 语言 ...

... ) formal language 形式化语言 ) formal description language 形式化描述语言 ) Formal logic language 形式化逻辑语言 ...