PGF: A Portable Run-time Format for Type-theoretical Grammars
PGF: A Portable Run-time Format for Type-theoretical Grammars
复制标题
PGF：类型理论语法的可移植运行时格式
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Aarne Ranta
中科院分区：
文献类型：
--
作者：
Krasimir Angelov;Björn Bringert;Aarne Ranta
可移植语法格式（Portable Grammar Format，PGF）是类型理论语法的核心语言。它是编译在高级形式主义语法框架（GF）中编写的语法的目标语言。PGF是低级的、简单的，易于推理，因此可以建立其语言理论性质。也很容易编写解释器来执行PGF语法的解析和生成，以及编译器将PGF转换为其他格式。本文给出了一个简明的描述PGF，包括语法，语义和分析器生成。它还讨论了嵌入式文法的技术，其中由PGF文法定义的语言处理任务被集成到更大的系统中。
Portable Grammar Format (PGF) is a core language for type-theoretical grammars. It is the target language to which grammars written in the high-level formalism Grammatical Framework (GF) are compiled. Low-level and simple, PGF is easy to reason about, so that its language-theoretic properties can be established. It is also easy to write interpreters that perform parsing and generation with PGF grammars, and compilers converting PGF to other formats. This paper gives a concise description of PGF, covering syntax, semantics, and parser generation. It also discusses the technique of embedded grammars, where language processing tasks defined by PGF grammars are integrated in larger systems.