Python代碼接受預先定義的語法

Question

我試圖做一個代碼來識別以下語法規則字符的鏈條：

• S-> ABK
• K-> X | XK | ħ
• H-> C^| d

使字狀ABX，abxxx，ABC，abxd，abxc，等等...都接受的話就像AB，ABB，XXX，等等是不能接受的。

我寫了一個代碼來做到這一點，在我的分析中，它應該做的伎倆，但它有錯誤，即它返回假的abxx，一個語法應接受的句子，我認爲它與函數的嵌套返回值有關，我不太清楚。

代碼將被粘貼在下面，如果你們可以弄清楚或指出我在做什麼錯我會很感激。

def S(word): 
    if word[0] == 'a': 
     atual = 1 
    else: 
     return False 
    if word[1] == 'b': 
     atual = 2 
    else: 
     return False 
    accepted = K(atual, word) 
    if accepted == True: 
     return True 
    else: 
     return False 

def K(atual, word): 
    if word[atual] == 'x': 
     atual += 1 
     if len(word) <= atual: # checks to see if the word ended and accept by the first rule of the set K. 
      return True 
     else: 
      K(atual, word) # keeps increasing the value of atual, satisfying the rule xK 
    else: 
     value = H(atual, word) # if no more 'x' are found, try the rule H 
     return value 

def H(atual, word): 
    if word[atual] == 'c' or word[atual] == 'd': 
     return True 
    else: 
     return False 

print(S(['a','b','x','x'])) 

Answer 1

你的實現是不必要的冗長和重複的：沒有必要繞過指數，例如，當你可以傳遞給下一個函數字的相關部分。這裏是一個快速的實現我扔在一起，應該可以解決它：

def S(chars): 
    word = ''.join(chars) 
    try: 
    return word[:2] == 'ab' and K(word[2:]) 
    except IndexError: 
    return False 

def K(word): 
    return word == 'x' or (word[0] == 'x' and K(word[1:])) or H(word) 

def H(word): 
    return word in ['c', 'd'] 

使用此功能，我得到：

>>> list(map(S, ['abx', 'abxxx', 'abc', 'abxd', 'abxc'])) 
[True, True, True, True, True]