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文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 语法框架。一种类型理论语法形式主义。 Zbl 1085.68026号阿恩·兰塔 2004 全部的 前5名51位作者引用 7 阿恩·兰塔 2 尼古拉斯·M·阿舍。 2 菲利普·德格罗特 2 Fairouz D.卡马雷丁。 2 罗朝晖 2 克劳迪奥·萨塞尔多蒂·科恩 2 Wells,Joe B。 1 克拉西米尔·安吉洛夫 1 谢尔盖·奥特西尔 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 大卫·A·伯克。 1 保罗·T·卡拉汉。 1 约翰·卡米莱里。 1 斯特吉奥斯·查齐基里亚基迪斯 1 穹顶,费伦茨 1 罗伊·戴克霍夫 1 马库斯·福斯伯格 1 尼西姆·弗朗西兹 1 托马斯·哈格伦 1 赫兰,拉尔斯 1 杰拉德·P·休特。 1 克里斯托弗·约翰尼森 1 劳拉·卡尔梅耶 1 贾纳·凯盖 1 凯文·科夫勒 1 迈克尔·科尔哈斯 1 罗伯特·拉马尔 1 曼努埃尔·马雷克 1 萨拉·马雷克 1 沃尔夫冈·迈尔 1 曼纽尔·蒙特斯·戈梅斯 1 内德霍夫,Mark-Jan 1 阿诺德·诺伊梅尔 1 范·杜克·阮 1 本特·诺德斯特伦 1 佩雷斯·库蒂诺,曼努埃尔·阿尔贝托 1 西尔万·波戈达拉 1 波拉德,卡尔 1 恩里科·蓬泰利 1 弗洛里安·拉贝 1 简·弗雷德里克·谢弗 1 赫尔曼·施奇尔 1 杰拉尔多·施奈德 1 彼得·斯科德尔 1 儿子Tran Cao 1 多米尼克·沃夫雷亚兹 1 路易斯·维拉塞尼奥·皮内达 1 马克·奥利弗·瓦格纳 1 安西Yli-Jyrä 1 良良吉中 1 斯特凡诺·扎奇罗利 全部的 前5名9篇连载文章中引用 三 逻辑、语言与信息杂志 2 函数编程杂志 1 信息与计算 1 爱沙尼亚科学院院刊。物理、数学 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 数学与科学课程。数学与社会科学 1 应用逻辑杂志 1 算法 在5个字段中引用 26 计算机科学(68-XX) 10 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文