結(jié)構(gòu)化語言是介于自然語言和（）之間的一種半形式語言。