形式語言是進行形式化工作的元語言，它是以數(shù)學和數(shù)理邏輯為基礎(chǔ)的科學語言。形式語言的基本特點有：有一組初始的、專門的符號集；有一組精確定義的，由初始的、專門的符號組成的符號串轉(zhuǎn)換成另一個符號串的規(guī)則。在形式語言中，不允許出現(xiàn)根據(jù)形成規(guī)則無法確定的符號串。例子：語言X定義為：初始符號集：{a，b，c，d，e，(，)，+，-，′，?}。形成規(guī)則：上述符號組成的有限符號串中，構(gòu)成表達式的為一個公式，否則不是。則語言X為一種形式語言。（ ）