什么是GF？

GF是一个定义多语言语法的框架，每个语法都基于通用抽象语法。抽象语法通过使用类型理论，与逻辑框架。自然语言生成部分称为具体语法，这是一种基于特征的语法形式主义，相当于PMCFG（并行多上下文自由语法）和具有多项式解析行为。GF使用PMCFG作为其“机器语言”，该语言由具有丰富类型系统的高级语法代码以及继承自函数式编程语言的模块系统。

这里有什么链接

找不到反向链接。