The syntax definition formalism SDF : reference manual
The syntax definition formalism SDF : reference manual
复制标题
DOI：
--
复制
发表时间：
1989
期刊：
影响因子：
--
通讯作者：
J. Heering;P. Hendriks;P. Klint;J. Rekers
中科院分区：
文献类型：
--
作者：
J. Heering;P. Hendriks;P. Klint;J. Rekers
SDF是一种语法定义的形式主义，在某些方面与BNF相当，但范围更广，因为它还涵盖了词汇和抽象语法的定义。它的设计和实现是针对想要开发新语言并以高度交互的方式实现现有语言的语言设计者而定制的。它通过提供（a）词法和上下文无关语法之间的标准接口;（B）上下文无关语法和抽象语法之间的标准对应;（c）强大的消歧和列表构造;以及（d）接受任意上下文无关语法定义的高效增量实现来强调语法定义的紧凑性。SDF可以与各种编程和规范语言相结合。通过这种方式，它们获得了完全通用的用户可定义语法。
SDF is a formalism for the definition of syntax which is comparable to BNF in some respects, but has a wider scope in that it also covers the definition of lexical and abstract syntax. Its design and implementation are tailored towards the language designer who wants to develop new languages as well as implement existing ones in a highly interactive manner. It emphasizes compactness of syntax definitions by offering (a) a standard interface between lexical and context-free syntax; (b) a standard correspondence between context-free and abstract syntax; (c) powerful disambiguation and list constructs; and (d) an efficient incremental implementation which accepts arbitrary context-free syntax definitions. SDF can be combined with a variety of programming and specification languages. In this way these obtain fully general user-definable syntax.