介于自然语言和形式语言之间的一种半形式语言的是()。