def yunleft(ss, m, dou, i): yun = yunhan(ss) ssx = ss[:yun] ssy = ss[yun + 1:] kuossy = braces(ssy) if kuossy != []: ssy.pop(0) ssy.pop(-1) ssx.insert(0, '!') #m = deal(dou, i) m1 = copy.deepcopy(m) m2 = copy.deepcopy(m) if i==0: i=i-1 m1[i+1:dou]=ssx m2[i+1:dou]=ssy # print('\n"->"在"=>"左边\n',\ # '--------m1-------\n',listtostr(m1),\ # '\n--------m2-------\n',listtostr(m2)) # return listtostr(m1),listtostr(m2) return [[m1, '规则3', ' ', [0]], [m2, '规则3', ' ', [0]]]

这段代码的作用是将箭头符号"->"移到"!"符号的左边。具体来说，它首先确定新规则的规则号，然后将规则分成两部分，分别为"!"符号左边和"!"符号右边的部分。在左边的部分中，它将"!"符号插入到规则的开头。在右边的部分中，它删除规则中的括号，并创建两个深度复制的规则副本。对于每个副本，它将箭头符号左右两侧的部分分别插入到规则中，以形成两个新的规则。最后，它将这两个新规则存储在一个列表中并返回。