×

GF公司

swMATH ID: 13667
软件作者: 阿恩·兰塔
描述: 语法框架。一种类型理论语法形式主义。语法框架(GF)是一种用于定义语法的特殊功能语言。它使用逻辑框架(LF)来描述抽象语法,并添加了定义具体语法的符号。GF语法本身是纯声明性的,但可以用于线性化语法树和解析字符串。GF可以描述正式语言和自然语言。这种描述的关键概念是一个语法对象,它不仅是一个字符串,而且是一个记录,其中包含有关屈折变化和固有语法特征的所有信息,例如自然语言中的数字和性别,或正式语言中的优先级。语法对象有一个类型系统,它有助于消除语言处理中的运行时错误。与LF一样,GF在抽象语法中使用依赖类型来表示语义条件,如良好的类型性和证明义务。多语言语法,其中一个抽象语法有许多并行的具体语法,可以用于可靠和有意义的翻译。它们还可以用于创作系统,其中语法树是在一个交互式编辑器中构建的,类似于基于LF的校对编辑器。编辑时,可以同时以不同的语言查看树。本文从逐渐介绍GF开始,经过一系列简单的形式,直到达到最大功率。在介绍之后,系统地介绍了GF形式,并概述了主要算法:部分求值和解析器生成。本文最后简要讨论了GF的Haskell实现、现有应用程序和相关工作。
主页: http://www.grammaticalframework.org/
相关软件: Coq公司;米扎尔;伊萨尔;枣灰蝶属;哈斯克尔;凯伊;伊莎贝尔;斯里兰卡银行;FraCaS公司;XPath(XPath);自动化;ALF公司;禅宗;莫德;MetTeL公司;github;拉丁语;李奥伊;BLEU公司;语法矩阵
引用于: 30文件

按年份列出的引文