结构化语言是介于自然语言和（）之间的一种半形式语言。