1

我正在尝试使用 PLY 编写一个语法来解析文件中的路径。我遇到了转变减少冲突，我不确定如何更改语法来解决它。这是我要解析的文件的示例。路径/文件名可以是任何可接受的 linux 路径。

file : ../../dir/filename.txt
file : filename.txt
file : filename

所以这是我写的语法。

header : ID COLON path

path : pathexpr filename

pathexpr : PERIOD PERIOD DIVIDE pathexpr
           | PERIOD DIVIDE pathexpr
           | ID DIVIDE pathexpr 
           |
filename : ID PERIOD ID
           | ID

这是我的代币。我正在使用 PLY 包含的 ctokens 库。只是为了节省自己写的精力。

t_ID = r'[A-Za-z_][A-Za-z0-9_]*'
t_PERIOD = r'\.'
t_DIVIDE = r'/'
t_COLON = r':'

所以我相信“文件名”规则中存在移位减少冲突，因为解析器不知道是将令牌减少为“ID”还是转换为“ID PERIOD ID”。我认为在没有路径（“文件名”）的情况下还有另一个问题，它将消耗 pathexpr 中的令牌而不是减少为空。

我怎样才能修正我的语法来处理这些情况？也许我需要更改我的令牌？

4

3 回答 3

0

我认为您可能正在使用 PLY，而不是 pyparsing，查看那些“t_xxx”名称。但这里有一个解决您问题的 pyparsing 解决方案，请参阅下面的有用评论：

"""
header : ID COLON path

path : pathexpr filename

pathexpr : PERIOD PERIOD DIVIDE pathexpr
           | PERIOD DIVIDE pathexpr
           | ID DIVIDE pathexpr 
           |
filename : ID PERIOD ID
           | ID 
"""

from pyparsing import *

ID = Word(alphanums)
PERIOD = Literal('.')
DIVIDE = Literal('/')
COLON = Literal(':') 

# move this to the top, so we can reference it in a negative
# lookahead while parsing the path
file_name = ID + Optional(PERIOD + ID)

# simple path_element - not sufficient, as it will consume 
# trailing ID that should really be part of the filename
path_element = PERIOD+PERIOD | PERIOD | ID

# more complex path_element - adds lookahead to avoid consuming
# filename as a part of the path
path_element = (~(file_name + WordEnd())) + (PERIOD+PERIOD | PERIOD | ID)

# use repetition for these kind of expressions, not recursion
path_expr = path_element + ZeroOrMore(DIVIDE + path_element)

# use Combine so that all the tokens will get returned as a
# contiguous string, not as separate path_elements and slashes
path = Combine(Optional(path_expr + DIVIDE) + file_name)

# define header - note the use of results names, which will allow
# you to access the separate fields by name instead of by position
# (similar to using named groups in regexp's)
header = ID("id") + COLON + path("path")

tests = """\
file: ../../dir/filename.txt
file: filename.txt
file: filename""".splitlines()

for t in tests:
    print t
    print header.parseString(t).dump()
    print

印刷

file: ../../dir/filename.txt
['file', ':', '../../dir/filename.txt']
- id: file
- path: ../../dir/filename.txt

file: filename.txt
['file', ':', 'filename.txt']
- id: file
- path: filename.txt

file: filename
['file', ':', 'filename']
- id: file
- path: filename
于 2015-09-28T12:51:26.687 回答
0

我相信这个语法应该可以工作，它还有一个额外的优势，就是能够识别路径的各个部分，如扩展名、目录、驱动器等。我还没有制作解析器，只有这个语法。 

fullfilepath : path SLASH filename
path : root
    | root SLASH directories
root : DRIVE
    | PERCENT WIN_DEF_DIR PERCENT
directories : directory
            | directory SLASH directories
directory : VALIDNAME
filename : VALIDNAME
        | VALIDNAME DOT EXTENSION
于 2017-05-24T12:09:46.580 回答
0

简单的解决方案：使用左递归而不是右递归。

LR 解析器（如 PLY 和 yacc）更喜欢左递归，因为它避免了扩展解析器堆栈。它通常也更接近表达式的语义——当你想要实际解释语言时很有用，而不仅仅是识别它——而且在这种情况下，它通常避免了左因子的需要。

pathexpr在这种情况下，例如，需要通过在当前找到的目录中查找段目录来将每个路径段应用于前面的 。解析器的动作很明确：在 1 美元中查找 2 美元。你如何为正确的递归版本纠正动作？

所以，一个简单的转换：

header   : ID COLON path

path     : pathexpr filename

pathexpr : pathexpr PERIOD PERIOD DIVIDE
         | pathexpr PERIOD DIVIDE
         | pathexpr ID DIVIDE
         |
filename : ID PERIOD ID
         | ID
于 2015-09-28T19:38:17.213 回答