短语词组短语formal chemical structure description language 形式描述语言the formal function -description language 形式化描述语言 返回 formal description language