用图表示形式语言的句法关系
Syntax diagrams as a formalism for representation of syntactic relations of formal languages
摘要：
提出了形式语言语法表示的一种新方法--语法图形式化。在具有非线性文本表示的语言中，图看起来是描述句法关系的方便语言，例如，用于表示结构化学式语言的句法关系。邻域文法的形式主义是用来描述正确的语法结构的集合。邻域语法由一组“邻域”族组成--为语言字母表中的每个符号定义的图。如果每个符号都与某个邻域一起包含在该图中，则语法图是正确的。换句话说，正确的图需要被邻域文法的元素所覆盖。因此，形式语言的语法可以表示为为每个正确语法图定义的覆盖系统。
英文摘要：
The new approach to representation of syntax of formal languages-- a formalism of syntax diagrams is offered. Syntax diagrams look a convenient language for the description of syntactic relations in the languages having nonlinear representation of texts, for example, for representation of syntax lows of the language of structural chemical formulas. The formalism of neighbourhood grammar is used to describe the set of correct syntax constructs. The neighbourhood the grammar consists of a set of families of "neighbourhoods"-- the diagrams defined for each symbol of the language's alphabet. The syntax diagram is correct if each symbol is included into this diagram together with some neighbourhood. In other words, correct diagrams are needed to be covered by elements of the neighbourhood grammar. Thus, the grammar of formal language can be represented as system of the covers defined for each correct syntax diagram.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
