将BNF语法转换为pyparsing

时间:2015-01-13 16:20:47

标签: python regex pyparsing bnf

如何使用正则表达式(或pyparsing更好?)来描述下面提供的脚本语言(Backus-Naur表格):

<root>   :=     <tree> | <leaves>
<tree>   :=     <group> [* <group>] 
<group>  :=     "{" <leaves> "}" | <leaf>;
<leaves> :=     {<leaf>;} leaf
<leaf>   :=     <name> = <expression>{;}

<name>          := <string_without_spaces_and_tabs>
<expression>    := <string_without_spaces_and_tabs>

脚本示例:

{
 stage = 3;
 some.param1 = [10, 20];
} *
{
 stage = 4;
 param3 = [100,150,200,250,300]
} *
 endparam = [0, 1]

我使用python re.compile并希望将所有内容分组,如下所示:

[ [ 'stage',       '3'],
  [ 'some.param1', '[10, 20]'] ],

[ ['stage',  '4'],
  ['param3', '[100,150,200,250,300]'] ],

[ ['endparam', '[0, 1]'] ]

更新 我发现pyparsing是更好的解决方案,而不是正则表达式。

1 个答案:

答案 0 :(得分:6)

Pyparsing可以简化这些构造中的一些

leaves :: {leaf} leaf

OneOrMore(leaf)

因此,你的BNF在pyparsing中的一种形式看起来像:

from pyparsing import *

LBRACE,RBRACE,EQ,SEMI = map(Suppress, "{}=;")
name = Word(printables, excludeChars="{}=;")
expr = Word(printables, excludeChars="{}=;") | quotedString

leaf = Group(name + EQ + expr + SEMI)
group = Group(LBRACE + ZeroOrMore(leaf) + RBRACE) | leaf
tree = OneOrMore(group)

我添加了quotedString作为替代expr,以防你希望得到做过的事情包含一个被排除的字符。并且在叶子和组周围添加组将保持支撑结构。

不幸的是,您的样本并不完全符合此BNF:

  1. [10, 20][0, 1]中的空格使其成为无效的exprs

  2. 某些叶子没有终止; s

  3. 单独*个字符 - ???

  4. 此示例使用上述解析器成功解析:

    sample = """
    {
     stage = 3;
     some.param1 = [10,20];
    }
    {
     stage = 4;
     param3 = [100,150,200,250,300];
    }
     endparam = [0,1];
     """
    
    parsed = tree.parseString(sample)    
    parsed.pprint()
    

    ,并提供:

    [[['stage', '3'], ['some.param1', '[10,20]']],
     [['stage', '4'], ['param3', '[100,150,200,250,300]']],
     ['endparam', '[0,1]']]