弄清楚如何扩展语法(Python)

时间:2015-02-05 09:19:00

标签: python

我试图编写将返回扩展语法的代码。所以在这个例子中我将指定长度为3,N = N D将自己扩展为N = N D D然后它将再次扩展为N = N D D D但是然后退出程序,是否有任何建议来实现这一点?我目前尝试在printGrammar中执行替换方法但是你可以看到当你运行它时由于某种原因NT(非终端被替换,在这个例子中为N)和item(字典中的值,在本例中为ND和D)不会更换,我留下了一个列表,其中包含N' N'而不是我想要的N D D,有人可以帮助我吗?

Binary.txt是:

N = N D
N = D
D = 0
D = 1

代码是

import sys
import string
from collections import defaultdict

#default length of 3
stringLength = 3

#get last argument of command line(file)
if len(sys.argv) == 1:
    #get a length from user
    try:
        stringLength = int(input('Length? '))
        filename = input('Filename: ')
    except ValueError:
        print("Not a number")

elif len(sys.argv) == 2:
    #get a length from user
    try:
        stringLength = int(input('Length? '))
        filename = sys.argv[1]
    except ValueError:
        print("Not a number")

elif len(sys.argv) == 3:
    filename = sys.argv[2]
    stringLength  = sys.argv[1].split('l')[1]
else:
    print("Invalid input!")


#get start symbol
with open(filename, "r") as grammar:
    #read file 
    lines = grammar.readlines()
    start = lines[0].split('=')[0]
    start = start.replace(" ", "")


#checks

#print(stringLength)
#print(filename)
#print(start)
def str2dict(filename):
    result = defaultdict(list)
    with open(filename, "r") as grammar:
        #read file 
        lines = grammar.readlines()
        count = 0

        #loop through
        for line in lines:
            #append info 
            line = line.rstrip()

            result[line[0]].append(line.split('=')[1])

    return result


workingDict = str2dict("Binary.txt")
print(workingDict)


def strings(grammar, start):
    queue = [start]
    while len(queue):
        current = queue.pop(0)
        # for each symbol in the current string
        for n, sym in enumerate(current):
            # if this symbol is a non-terminal
            if sym in grammar:
                # for each rule for this symbol...
                for rhs in grammar[sym]:
                    # replace it with the right part
                    new = current[:n] + rhs + current[n+1:]
                    # does the result contain non-terminals
                    if any(s in grammar for s in new):
                        # yes, place it into the queue
                        queue.append(new)
                    else:
                        # no, return it
                        yield new

for x in strings(workingDict, stringLength):
    print (x)
    if len(x) > 4:
        break

1 个答案:

答案 0 :(得分:3)

假设你的语法是

形式
grammar = {
    'N': ['ND', 'D'],
    'D': ['0', '1']
}

算法看起来很简单:

  • 迭代当前字符串(最初只是一个符号)
  • 如果符号是非终端,请将其替换为其生产
  • 如果结果包含非终端,则将其放入队列以进行进一步处理
  • 否则,返回结果(这是一串终端)
  • 从队列顶部选择下一个“当前”字符串并继续

def strings(grammar, start):
    queue = [start]
    while len(queue):
        current = queue.pop(0)
        # for each symbol in the current string
        for n, sym in enumerate(current):
            # if this symbol is a non-terminal
            if sym in grammar:
                # for each rule for this symbol...
                for rhs in grammar[sym]:
                    # replace it with the right part
                    new = current[:n] + rhs + current[n+1:]
                    # does the result contain non-terminals
                    if any(s in grammar for s in new):
                        # yes, place it into the queue
                        queue.append(new)
                    else:
                        # no, return it
                        yield new

用法:

for x in strings(grammar, 'N'):
    print x
    if len(x) > 4:
        break