Question

我必须创建一个与python脚本一起使用的语法规则文件来接受某些字符串。

语法：

Define a type 0 grammar that simulates a Turing Machine computation
to accept the language (w w | w ∊ (0 + 1)*}

脚本（有一个gui组件使运行更容易）：

# Read in re-writing rules
#
start_symbol = 'S'
rules = []
def  browse():
    global start_symbol, rules
    start_symbol = 'S'
    rules = []
    fn_rules = askopenfilename(title="Select rules file", filetypes=[("*.TXT", "*.txt")])
    f_rules = open(fn_rules, "r")

    for line in f_rules.readlines():
        line = line.split()
        if len(line) < 2:
            if len(line) == 1 and len(line[0]) == 1:
                start_symbol = line[0]
            continue
        rules.append((line[0], line[-1]))

    f_rules.close()
    print(rules)

def init_str():
    tape.set('_' + start_symbol + tape.get() + '_')

从逻辑上考虑我的问题，我推断我需要使用我的图灵机进行以下步骤（例如，在输入10111011上）：

1: Place an end marker at each end of the string:
$10111011$

2: Move the end markers inward till they meet in the middle
 and mark the middle:
1011x1011

3: Go back and forth matching and crossing off symbols of the
 two strings.

我唯一的问题是如何实现这一点。以下是palindromes的示例语法规则文件：

L
_L0 → __A
_L1 → __B

0L → L0
1L → L1

A0 → 0A
A1 → 1A

B0 → 0B
B1 → 1B

0A_ → L__
1B_ → L__

_L_ → _x_
_A_ → _x_
_B_ →_ x_

根据我对程序的理解，它从左到右读取，显然只是在空白处拆分每一行，并使用第一个字符串作为左侧，最后一个字符串作为右侧。但是，我不确定这是否正确。代码已更新

语法规则文件模拟图灵机接受语言

0 个答案: