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