1引言1.1本书的内容1.2如何使用本书1.3语法在语言处理中的作用1.4语法成本1.5多语言1.6语义动作和互操作性1.7应用程序语法和资源语法1.8 GF的历史及其应用1.9相关工作第一部分GF教程2多语言文法的基本概念2.1 BNF语法格式2.2使用GF系统2.3在GF系统中测试语法2.4意大利语BNF语法2.5 BNF语法和翻译2.6抽象和具体语法2.7 GF翻译2.8语法模块的结构2.9关于BNF语法的局限性2.10抑制和元变量2.11自由变化2.12歧义2.13遗留问题2.14基于图形的可视化和shell逃逸2.15法定和非法定2.16字符编码3参数、表格和记录3.1形态学变异问题3.2参数和表格3.3变量与固有特征3.4记录和记录类型3.5线性化类型和协议3.6 GF中的功能编程：操作定义3.7重新审视食物语法3.8测试GF中的屈折和操作3.9部分应用3.10不连续成分3.11非补偿性形态学4模块化和可扩展的语法编写4.1可重用资源模块4.2数据抽象4.3 Case表达式和字符串匹配4.4智能范式4.5重新审视阿拉伯形态学4.6分离操作类型和定义4.7操作过载4.8模块扩展和继承4.9传承与开放4.10依赖关系图4.11参数的代数数据类型4.12记录扩展和子类型4.13薄片和产品类型4.14前缀相关的选择和模式宏4.15编译时的字符串与运行时的字符串5使用资源语法库5.1图书馆的目的和覆盖面5.2词汇与短语规则5.3词汇类别和规则5.4短语类别和规则5.5资源API5.6库路径5.7示例：英语5.8多语言语法的函数实现5.9接口和实例5.10多语言语法的设计模式5.11重新审视劳动分工5.12重写函子5.13编译时传输5.14作为语言本体的资源语法5.15资源API之旅5.16结构整平5.17时态和极性5.18浏览库6抽象语法中的语义动作和条件6.1 GF作为逻辑框架6.2从属类型6.3选择性限制6.4多态性6.5具体语法中的依赖类型6.6证明对象6.7证明文件6.8限制多态性6.9变量绑定和高阶抽象语法6.10隐喻表达6.11语义定义6.12内涵和外延平等6.13语义动作和运行时传输6.14预定义类别6.15概率GF文法第二部分大语法和应用7嵌入式语法和代码生成7.1可移植语法格式7.2嵌入式解释器及其API7.3 Haskell中的嵌入式GF应用程序7.4模块PGF7.5独立翻译器7.6转换器回路7.7问答系统7.8导出GF数据类型7.9将其放在一起7.10 Web服务器应用程序7.11其他宿主语言中的嵌入式语法7.12多语言语法编辑7.13语音识别的语言模型7.14统计语言模型7.15多模式对话系统8正式语言和自然语言的接口8.1算术表达式8.2作为线性化的代码生成8.3带变量的程序8.4赋值的具体语法8.5变量的自由语法8.6 GF对定义正式语言有用吗？8.7从逻辑生成自然语言8.8自然语言的逻辑语义8.9分形语法9资源语法编程入门9.1概述9.2微型资源语法9.3功能设计9.4预测9.5补充9.6测定9.7修改9.8词汇插入9.9意大利微型资源9.10实施形态学9.11实施修改和确定9.12动词短语和补语的使用9.13实施预测9.14实施其余9.15协调和提取10扩展资源语法库10.1资源语法的模块结构10.2工作量统计10.3新语言的工作流程10.4重用小型资源中的代码10.5开发-测试周期10.6非ASCII字母和音译10.7编码专业10.8资源语法中的函数10.9扩大文本解析的覆盖面10.10引导资源词典A微型资源文法A.1抽象语法A.2意大利语辅助资源模块A.3意大利语具体语法A.4意大利语形态学范式APIA.5测试词汇A.6语法APIB语言术语表第三部分GF参考手册C GF编程语言C.1 GF概述C.2模块系统C.2.1顶层和补充模块结构C.2.2编制单位C.2.3名称C.2.4模块的结构C.2.5模块类型、标题和主体C.2.6离题：模块类型的逻辑C.2.7继承C.2.8开业C.2.9名称决议C.2.10函数实例化C.2.11完整性C.3判决C.3.1判断形式概述C.3.2类别声明，目录C.3.3假设和背景C.3.4函数声明，有趣C.3.5功能定义C.3.6数据构造函数声明、数据C.3.7抽象语法函数的语义状态C.3.8线性化类型定义，lincatC.3.9线性化定义，linC.3.10线性化默认定义，lindefC.3.11打印名定义，打印名cat/funC.3.12参数类型定义，参数C.3.13参数值C.3.14操作定义，操作C.3.15操作过载C.3.16标志定义、标志C.4类型和表达式C.4.1表达形式概述C.4.2功能片段：抽象语法中的表达式C.4.3列出类别C.4.4转换C.4.5语法树C.4.6抽象语法中的预定义类型C.4.7具体语法中的表达式概述C.4.8值、规范形式和运行时变量C.4.9令牌列表、令牌和字符串C.4.10记录和记录类型C.4.11分型C.4.12表格和表格类型C.4.13模式匹配C.4.14自由变化C.4.15当地定义C.4.16具体语法中的函数应用C.4.17重用顶层语法作为资源C.4.18预定义的具体语法类型C.4.19预定义的具体语法操作C.5标记和杂注C.5.1一些标志及其值C.5.2编译器杂注C.6 GF的语法C.6.1 GF的词汇结构C.6.2 GF的句法结构D GF资源文法库D.1分类系统D.1.1短语和封闭词类D.1.2开放式词汇类别D.2语法规则D.2.1超语气层面：文本和话语D.2.2句子层次：极性、时态和语气D.2.3预测、补充和提取D.2.4问题和关系条款的形成D.2.5疑问代词和关系代词D.2.6名词短语和限定词D.2.7数字系统D.2.8常见名词、形容词和副词D.2.9协调D.2.10结构词D.3词汇范式D.3.1正则词的范例D.3.2动词、形容词和名词子类别的范例D.4其他库模块D.4.1前奏曲模块D.4.2正式模块D.4.3符号模块D.4.4组合器模块E GF软件系统E.1 GF外壳E.2 GF批处理编译器F参考书目F.1关于GF的出版物F.2背景和相关工作索引