1、生成語(yǔ)法經(jīng)過(guò)幾十年的發(fā)展已進(jìn)入最簡(jiǎn)方案階段，計(jì)算語(yǔ)言學(xué)作為一門(mén)新興的邊緣學(xué)科，也已展現(xiàn)出強(qiáng)大的生命力和吸引力。在這種背景下，本文作者產(chǎn)生了用計(jì)算機(jī)去實(shí)現(xiàn)最簡(jiǎn)方案中一個(gè)重要理論一核查理論的構(gòu)想，并使之得以實(shí)現(xiàn)。文章首先概述了生成語(yǔ)法的性質(zhì)、概念，介紹了核查理論的內(nèi)容，運(yùn)用該理論對(duì)句子進(jìn)行分析，同時(shí)介紹了計(jì)算語(yǔ)言學(xué)的相關(guān)內(nèi)容：它的發(fā)展背景、含義、發(fā)展階段，利用表格和公式詳細(xì)介紹了對(duì)詞匯進(jìn)行計(jì)算機(jī)分析的操作技術(shù)如語(yǔ)法框架、詞匯選擇等。在此基礎(chǔ)

2、上，作者分析了核查理論與計(jì)算機(jī)操作技術(shù)相結(jié)合的可能性：對(duì)自然語(yǔ)言進(jìn)行計(jì)算機(jī)處理一般需經(jīng)過(guò)四個(gè)步驟，通過(guò)分析，用計(jì)算機(jī)去實(shí)現(xiàn)核查理論是符合這四個(gè)步驟的，有實(shí)現(xiàn)的可能性。C++語(yǔ)言是當(dāng)今使用較廣、效率較高的編程語(yǔ)言，因此被選作為實(shí)現(xiàn)本文設(shè)想的編程語(yǔ)言。作者通過(guò)與計(jì)算機(jī)人員的合作，編寫(xiě)了核查理論的計(jì)算機(jī)運(yùn)用程序，將程序步驟和實(shí)現(xiàn)用圖表直觀地展現(xiàn)出來(lái)。程序執(zhí)行后，計(jì)算機(jī)可自動(dòng)完成對(duì)輸入句子合法性的判斷。本文以核查理論為一個(gè)切入點(diǎn)，旨在促使語(yǔ)言學(xué)