語(yǔ)法框架

1.1 本書(shū)內(nèi)容
1.2 如何使用本書(shū)
1.3 語(yǔ)法在語(yǔ)言處理中的作用
1.4 語(yǔ)法成本
1.5 多語(yǔ)性
1.6 語(yǔ)義動(dòng)作和互操作性
1.7 應(yīng)用語(yǔ)法和資源語(yǔ)法
1.8 GF的歷史及其應(yīng)用
1.9 相關(guān)工作
第Ⅰ部分 語(yǔ)法框架輔導(dǎo)
第2章 多語(yǔ)種語(yǔ)法的基本概念
2.1 BNF語(yǔ)法格式
2.2 GF系統(tǒng)的使用
2.3 在GF系統(tǒng)中測(cè)試一個(gè)語(yǔ)法
2.4 用于意大利語(yǔ)的BNF語(yǔ)法
2.5 BNF語(yǔ)法和翻譯
2.6 抽象句法與具體句法
2.7 在GF里翻譯
2.8 語(yǔ)法模塊結(jié)構(gòu)
2.9 BNF語(yǔ)法的局限性
2.10 阻止和元變量
2.11 自由變異
2.12 歧義
2.13 剩余問(wèn)題
2.14 圖示形象化和命令行解釋器轉(zhuǎn)義
2.15 詞法分析和反詞法分析
2.16 字符編碼
第3章 參數(shù)、表格和記錄
3.1 形態(tài)變異問(wèn)題
3.2 參數(shù)和表格
3.3 變量特征與固有特征
3.4 記錄與記錄類型
3.5 線性化類型與一致
3.6 GF中的函數(shù)編程：運(yùn)算定義
3.7 Food語(yǔ)法的再探討
3.8 在GF里測(cè)試詞形變化和運(yùn)算
3.9 部分調(diào)用
3.10 非連續(xù)成分
3.11 非銜接詞法
第4章 可模塊化與可擴(kuò)展的語(yǔ)法編寫(xiě)
4.1 可復(fù)用的資源模塊
4.2 數(shù)據(jù)抽象
4.3 分支表達(dá)式和字符串匹配
4.4 智能詞形生成函數(shù)
4.5 阿拉伯語(yǔ)詞法回顧
4.6 區(qū)分運(yùn)算類型和定義
4.7 運(yùn)算重載
4.8 模塊擴(kuò)展和繼承
4.9 繼承和打開(kāi)
4.10 依存圖
4.11 參數(shù)的代數(shù)數(shù)據(jù)類型
4.12 記錄擴(kuò)展和子類型
4.13 元組與乘積類型
4.14 前綴依存選擇和模式宏
4.15 編譯時(shí)字符串和運(yùn)行時(shí)字符串
第5章 使用資源語(yǔ)法庫(kù)
5.1 庫(kù)的目的和覆蓋范圍
5.2 詞典和短語(yǔ)規(guī)則
5.3 詞匯范疇和規(guī)則
5.4 短語(yǔ)范疇和規(guī)則
5.5 資源API
5.6 庫(kù)的路徑
5.7 示例：英語(yǔ)
5.8 多語(yǔ)言語(yǔ)法的函子實(shí)現(xiàn)
5.9 界面和實(shí)例
5.10 多語(yǔ)言語(yǔ)法的設(shè)計(jì)模式
5.11 分工再探討
5.12 重寫(xiě)函子
5.13 編譯時(shí)轉(zhuǎn)移
5.14 作為語(yǔ)言本體的資源語(yǔ)法
5.15 資源API概覽
5.16 結(jié)構(gòu)扁平化
5.17 時(shí)態(tài)和極性
5.18 瀏覽資源語(yǔ)法庫(kù)
第6章 抽象句法里的語(yǔ)義動(dòng)作和條件
6.1 作為邏輯框架的GF
6.2 依存類型
6.3 選擇限制
6.4 多態(tài)性
6.5 具體句法中的依存類型
6.6 證明對(duì)象
6.7 證明攜帶文件
6.8 受限多態(tài)性
6.9 約束變量與高階抽象句法
6.10 照應(yīng)表達(dá)式
6.11 語(yǔ)義定義
6.12 內(nèi)涵等式和外延等式
6.13 語(yǔ)義動(dòng)作和運(yùn)行時(shí)轉(zhuǎn)換
6.14 預(yù)定義類
6.15 概率GF語(yǔ)法
第Ⅱ部分 更大規(guī)模語(yǔ)法及其應(yīng)用
第7章 嵌入語(yǔ)法與代碼生成
7.1 可移植語(yǔ)法格式
7.2 嵌入解釋器及其API
7.3 Haskell中的嵌入GF應(yīng)用
7.4 PGF模塊
7.5 獨(dú)立翻譯器
7.6 翻譯器循環(huán)
7.7 答疑系統(tǒng)
7.8 GF數(shù)據(jù)類型的輸出
7.9 將其全部放在一起
7.10 網(wǎng)絡(luò)服務(wù)器應(yīng)用程序
7.11 其他宿主語(yǔ)言的嵌入語(yǔ)法
7.12 多語(yǔ)言句法編輯
7.13 語(yǔ)音識(shí)別的語(yǔ)言模型
7.14 統(tǒng)計(jì)語(yǔ)言模型
7.15 多模態(tài)對(duì)話系統(tǒng)
第8章 形式語(yǔ)言與自然語(yǔ)言接口
8.1 算術(shù)表達(dá)式
8.2 作為線性化的代碼生成
8.3 帶變量的程序
8.4 賦值的具體句法
8.5 變量的自由句法
8.6 GF對(duì)于定義形式語(yǔ)言是有用的嗎
8.7 由邏輯生成自然語(yǔ)言
8.8 自然語(yǔ)言的邏輯語(yǔ)義學(xué)
8.9 分形語(yǔ)法
第9章 開(kāi)始資源語(yǔ)法編程
9.1 概覽
9.2 微型資源語(yǔ)法
9.3 特征設(shè)計(jì)
9.4 謂項(xiàng)
9.5 互補(bǔ)性
9.6 限定
9.7 修飾
9.8 詞匯插入
9.9 意大利語(yǔ)中的微型資源
9.10 實(shí)現(xiàn)詞法
9.11 實(shí)現(xiàn)修飾和限定
9.12 實(shí)現(xiàn)動(dòng)詞短語(yǔ)和互補(bǔ)
9.13 實(shí)現(xiàn)謂項(xiàng)
9.14 實(shí)現(xiàn)剩余的部分
9.15 并列和抽取
第10章 擴(kuò)展資源語(yǔ)法庫(kù)
10.1 資源語(yǔ)法的模塊結(jié)構(gòu)
10.2 所需工作量統(tǒng)計(jì)
10.3 一種新語(yǔ)言的工作流程
10.4 重用微型資源的代碼
10.5 研發(fā)-測(cè)試周期
10.6 非ASCII字母和轉(zhuǎn)寫(xiě)
10.7 編碼原則
10.8 資源語(yǔ)法中的函子
10.9 擴(kuò)大句法分析文本的覆蓋范圍
10.10 引導(dǎo)一個(gè)資源詞典
附錄A 小型資源語(yǔ)法
A.1 抽象句法
A.2 意大利語(yǔ)助動(dòng)詞資源模塊
A.3 意大利語(yǔ)具體句法
A.4 意大利語(yǔ)詞法詞形變化表API
A.5 測(cè)試詞典
A.6 語(yǔ)法API
附錄B 語(yǔ)言學(xué)術(shù)語(yǔ)詞匯表
第Ⅲ部分 語(yǔ)法框架參考手冊(cè)
附錄C 語(yǔ)法框架編程語(yǔ)言
C.1 GF概覽
C.2 模塊系統(tǒng)
C.3 判斷
C.4 類型與表達(dá)式
C.5 標(biāo)志與編譯指示
C.6 GF語(yǔ)法
附錄D 語(yǔ)法框架資源語(yǔ)法庫(kù)
D.1 范疇系統(tǒng)
D.2 語(yǔ)法規(guī)則