本書基于數(shù)學(xué)和邏輯的研究方法，力圖構(gòu)建具有普遍適應(yīng)性的形式語(yǔ)法理論。主張語(yǔ)法具有自主性，判斷句子是否合語(yǔ)法應(yīng)基于形式而非意義；在有限狀態(tài)模型、短語(yǔ)結(jié)構(gòu)模型和轉(zhuǎn)換模型這三種語(yǔ)法描寫手段中，轉(zhuǎn)換模型充分、有效；語(yǔ)法是一個(gè)三分體系，兩頭分別是短語(yǔ)結(jié)構(gòu)規(guī)則序列和語(yǔ)素音位規(guī)則序列，中間由轉(zhuǎn)換規(guī)則序列連接；語(yǔ)法理論的目標(biāo)是為不同的備用語(yǔ)法提供評(píng)估程序；通過(guò)不同的表征層面可以解釋不規(guī)則現(xiàn)象及歧義現(xiàn)象等。已有三十余條形式化規(guī)則初步應(yīng)用于英語(yǔ)的句子生成和分析。本書的語(yǔ)法普遍性等理念在一定程度上催生了認(rèn)知科學(xué)。