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