我可以改进这个 GOLD Parser Grammar 吗？

Question

我必须解析一个如下所示的文件：

versioninfo
{
    "editorversion" "400"
    "editorbuild" "4715"
}
visgroups
{
}
world
{
    "id" "1"
    "mapversion" "525"
    "classname" "worldspawn"
    solid
    {
        "id" "2"
        side
        {
            "id" "1"
            "plane" "(-544 -400 0) (-544 -240 0) (-272 -240 0)"
        }
        side
        {
            "id" "2"
            "plane" "(-544 -240 -16) (-544 -400 -16) (-272 -400 -16)"
        }
    }
}

我有一个从头开始编写的解析器，但它有一些我无法追踪的错误，我想如果将来格式发生变化，它将很难维护。我决定使用 GOLD 解析系统来生成解析器。我的语法如下所示：

"Start Symbol" = <SectionList>

! SETS

{Section Chars} = {AlphaNumeric} + [_]
{Property Chars} = {Printable} - ["]

! TERMINALS

SectionName = {Section Chars}+ 
PropertyPart = '"' {Property Chars}* '"'

! RULES

<SectionList> ::= <Section>
               |  <Section> <SectionList>

<SectionBody> ::= <PropertyList>
               |  <SectionList>
               |  <PropertyList> <SectionList>

<Section> ::= SectionName '{' '}'
           |  SectionName '{' <SectionBody> '}'

<PropertyList> ::= <Property>
                |  <Property> <PropertyList>

<Property> ::= PropertyPart PropertyPart

没有错误，它可以很好地解析我的 2000 行测试文件。然而，这是我第一次编写自定义语法，所以我不确定我是否做得正确。

我可以对上面的语法进行任何改进吗？

Answer 1

以下是我要求更改以获得更好性能的一些更改

1）使语法左递归规则。这在进行移位归约操作方面更好，因为黄金解析器是移位归约 LR 解析器。

SectionList ::= Section

           |   SectionList Section

PropertyList ::= Property

            | PropertyList Property

2) 下面部分中的第三条规则强制您仅在sectionlist之前拥有propertylist，但不在不同的之间拥有propertylist。确保它符合要求

SectionBody ::= PropertyList

           |  SectionList

           |  PropertyList SectionList

如果需要的话我可以更好地帮助你，如果你让我知道语言说“它应该接受这个，不应该接受这个”而不是一个不会给出100％的示例输入你的语言的图片。或者让我知道您感受到的错误，我们也可以从中定义语言描述。

问候，
VM Rakesh（[电子邮件受保护]）