GF

语法框架。一种类型的理论语法形式主义。语法框架(GF)是一种专门用于定义语法的函数语言。它使用逻辑框架(LF)来描述抽象语法,并添加了一个用于定义具体语法的符号。GF语法本身纯粹是声明性的,但可以用于线性化语法树和解析字符串。GF可以描述正式语言和自然语言。这个描述的关键概念是一个语法对象,它不仅仅是一个字符串,而是一个记录,它包含了关于自然语言中的数量和性别,或正式语言中的优先级的拐点和固有语法特征的所有信息。语法对象有一个类型系统,它有助于消除语言处理中的运行时错误。GF和LF一样,使用抽象语法中的依赖类型来表示语义条件,例如良好的迂回性和证明义务。多语言语法,其中一个抽象语法具有许多并行的具体语法,可用于可靠和意义保存翻译。它们也可以用于创作系统,其中语法树构建在类似于基于LF的证明编辑器的交互式编辑器中。在被编辑时,树可以同时以不同的语言观看。本文首先介绍了GF,通过一系列较简单的形式,直到达到完全的权力。随后介绍了GF形式主义的系统介绍和主要算法概述:部分评估和解析器生成。通过对GF的Haskell实现、现有应用及相关工作的简要论述。


ZBMaX中的参考文献(32篇)1标准条款

显示结果1至20的32。
按年份排序(引文
  1. 海兰,拉尔斯:基于建构的构词语法(2019)
  2. 卡迈耶,劳拉;迈尔,沃尔夫冈:LCFRS的LR句法分析(2016)
  3. 亚瑟、尼古拉斯:选择限制、类型与分类(2014)
  4. 罗,赵慧:COQ中的自然语言推理(2014)
  5. 安杰洛夫,Krasimir;卡米莱利,John J.;Schneider,Gerardo:控制自然语言写作规范文本冲突分析框架(2013)
  6. Soxdl,彼得;Neumaier,阿诺德;KoFLE,凯文;Does,Felc.;SHICL,赫尔曼:面向自我反射、上下文感知的数学规范语义表示(2012)
  7. 卡尔:逻辑语法中的隐性运动(2011)
  8. Ranta,AARNE:语言和逻辑之间的转换:什么是容易的,什么是困难的(2011)
  9. 安杰洛夫,Krasimir;Brutrt,BJ Orn;Ranta,AARNE:PGF:一种用于理论语法的便携式运行时格式(2010)伊波尔特
  10. Frangez,Nissim;Dyckhoff,罗伊:自然语言片段的证明理论语义学(2010)
  11. Muskens,莱因哈德:类型理论语法的新方向(2010)伊波尔特
  12. 拉玛尔,罗伯特;卡马瑞丁,Fairouz;威尔斯,J. B.:MathLang翻译伊莎贝尔语法(2009)
  13. Ranta,AARNE:文法软件库(2009)
  14. 亚瑟,尼古拉斯:一个类型驱动的复杂类型预测理论(2008)
  15. de Groote,菲利普;马雷克,莎拉;Yoshinaka,RYO:关于抽象范畴语法的两个扩展(2007)
  16. Ranta,AARNE:GF(2007)中的模块化语法工程伊波尔特
  17. 瓦格纳,贾景晖;Autoxer-Serge;Bangmüü勒,克里斯托夫:\TexScLPLAT(\Omega):文本编辑器和证明辅助系统之间的中介体(2007)
  18. Jojgov、G. I.:把弱型理论的片断翻译成开放式的类型理论(2006)
  19. Babel.,李察;H.Hnle,赖纳:面向对象的安全关键软件的非正式和正式开发的集成(2005)伊波尔特
  20. Babel.,李察;H.Hnle,赖纳:面向对象的安全关键软件的非正式和正式开发的集成(2005)伊波尔特