语法图作为形式语言句法关系表示的形式主义

本文提出了一种表示形式语言句法的新方法——语法图形式主义。语法图看起来是一种便捷的语言，用于描述具有非线性文本表示的语言中的句法关系，例如用于表示结构化学式语言的句法规律。邻域语法形式主义被用来描述正确句法构造的集合。邻域语法由一组“邻域”族组成，这些邻域是为语言字母表中的每个符号定义的图。如果每个符号都与其某个邻域一起包含在该图中，则该语法图是正确的。换言之，正确的图需要被邻域语法的元素所覆盖。因此，形式语言的语法可以表示为为每个正确语法图定义的覆盖系统。