語法框架

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