语法图表作为表示形式语言的句法关系的形式化方法
摘要：新的语法表示方法—语法图的形式化方法被提出。语法图看起来是一种方便描述具有非线性文本表示的语言中的句法关系的语言，例如结构化化学式语言的句法规则的表示。邻域语法形式被用来描述正确语法结构的集合。邻域语法包含一组“邻域”的族群图，针对语言的每个符号进行了定义。语法图是正确的，如果每个符号被包含在这个图中与某个邻域一起。换句话说，正确的图需要被邻域语法的元素所覆盖。因此，形式语言的语法可以被表示为为每个正确语法图定义的覆盖集合系统。
作者：Vladimir Lapshin
论文ID：0802.3974
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-02-28