Update

Author: lurenjia

seu-lex-yacc/yacc/allcontrol.py

@@ -28,7 +28,7 @@
  ['E1', ['T']], # 1 E1->T
  ['T', ['T', '*', 'F']], # 2 T->T*F
  ['T', ['F']], # 3 T->F
- ['F', ['(', 'E1', ')'], ['name']],  # 4 F->(E1)|i
+ ['F', ['(', 'E1', ')'], ['name']], # 4 F->(E1)|name
 ]
 
 
@@ -143,79 +143,54 @@ def allControl(input_stack):
  move = symbol_in_table + " Shift" # 当前动作为『移进』
  pointer += 1 # 读头前进一格
 
+ reduce_error = True # 产生式是否有错
+
  # Reduce
  if action == 'r':
  len_production = len(grammar_rule[number]) # 产生式的长度
 
- if len_production == 2: # 产生式的长度为2，该产生式不带'|'
- flag_or = False
- else: # 产生式的长度大于2，该产生式带'|'
- flag_or = True
-
- # 归约用的产生式不带'|'
- if flag_or == False:
- production_left = grammar_rule[number][0] # 归约产生式的左部列表
- production_right = grammar_rule[number][1] # 归约产生式的右部列表
-
- len_right = len(production_right) # 产生式右部的长度
-
- # 弹出栈顶的 len_right 项
- for i in range(len_right):
- symbol_stack.pop()
- state_stack.pop()
-
- symbol_stack.append(production_left) # 将产生式左部压入符号栈中
-
- temp_current_state = state_stack[-1] # 当前状态为状态栈栈顶元素
+ # 遍历产生式右部用'|'分割开的部分，寻找适合归约的产生式右部
+ for i in range(1, len_production):
+ len_right = len(grammar_rule[number][i]) # 归约产生式第 i 个右部的长度
+ len_symbol = len(symbol_stack) # 符号栈的长度
 
- # 遇到空白格，报错
- if parsing_table[temp_current_state]['GOTO'].has_key(production_left) == False:
- print 'error'
- break
+ # 避免数组越界
+ if len_right > (len_symbol-1):
+ continue
+ else:
+ temp_production_right = ''.join(grammar_rule[number][i]) # 归约产生式第 i 个右部转成字符串
+ temp_symbol_string = ''.join(symbol_stack[-len_right:]) # 符号栈最后 len_right 个元素转成字符串
 
- next_state = parsing_table[temp_current_state]['GOTO'][production_left] # 下一状态
- state_stack.append(next_state) # 将下一状态压入状态栈
+ if temp_production_right in temp_symbol_string: # 用于归约的产生式右部
+ reduce_error = False # 产生式没有错误
+ production_left = grammar_rule[number][0] # 归约产生式的左部列表
+ production_right = grammar_rule[number][i] # 归约产生式的右部列表
 
- else: # 归约用的产生式带'|'
- # 遍历产生式右部用'|'分割开的部分，寻找适合归约的产生式右部
- for i in range(1, len_production):
- len_right = len(grammar_rule[number][i]) # 归约产生式第 i 个右部的长度
- len_symbol = len(symbol_stack) # 符号栈的长度
+ len_right = len(production_right) # 产生式右部的长度
 
- # 避免数组越界
- if len_right > (len_symbol-1):
- continue
- else:
- temp_production_right = ''.join(grammar_rule[number][i]) # 归约产生式第 i 个右部转成字符串
- temp_symbol_string = ''.join(symbol_stack[-len_right:]) # 符号栈最后 len_right 个元素转成字符串
+ # 弹出栈顶的 len_right 项
+ for j in range(len_right):
+ symbol_stack.pop()
+ state_stack.pop()
 
- if temp_production_right in temp_symbol_string: # 用于归约的产生式右部
- production_left = grammar_rule[number][0] # 归约产生式的左部列表
- production_right = grammar_rule[number][i] # 归约产生式的右部列表
+ symbol_stack.append(production_left) # 将产生式左部压入符号栈中
+ temp_current_state = state_stack[-1] # 当前状态为状态栈栈顶元素
 
- len_right = len(production_right) # 产生式右部的长度
-
- # 弹出栈顶的 len_right 项
- for j in range(len_right):
- symbol_stack.pop()
- state_stack.pop()
-
- symbol_stack.append(production_left) # 将产生式左部压入符号栈中
-
- temp_current_state = state_stack[-1] # 当前状态为状态栈栈顶元素
-
- # 遇到空白格，报错
- if parsing_table[temp_current_state]['GOTO'].has_key(production_left) == False:
- print 'error'
- break
+ # 遇到空白格，报错
+ if parsing_table[temp_current_state]['GOTO'].has_key(production_left) == False:
+ print 'error'
+ break
 
-  next_state = parsing_table[temp_current_state]['GOTO'][production_left] # 下一状态
-  state_stack.append(next_state) # 将下一状态压入状态栈
+ next_state = parsing_table[temp_current_state]['GOTO'][production_left] # 下一状态
+ state_stack.append(next_state) # 将下一状态压入状态栈
 
-  break
+ break
 
  move = symbol_in_table + " Reduce" # 当前动作为『归约』
 
+ if reduce_error == True:
+ print "Production "+ str(number) + " error!"
+ break
 
 if __name__ == "__main__":
  # string = input("Enter the input_string: ")