Python 计算WFF逻辑表达式时出现Pyparsing错误？

我不熟悉Python和

pyparsing

，我正在制作一个逻辑表达式计算器

公式必须是一个。WFF的BNF为：

：：=p | q | r | s | t | u |。。。
（命题变量的任意有限集）
：：=，，（五）（二）
| ( -> ) | (  )

我的代码是：

“”
创建于2012年2月17日
@作者：Juanjo
'''
从pyparsing导入*
从字符串导入小写
def fbf（）：
atom=Word（小写，max=1）#a标签
op=一个（“^V=>”）#运算符
identOp=其中一个（'（[{'））
identCl=其中一个（'）]}'）
form=Forward（）#Iniciar de manera recursiva
#语法：
默认情况下，formparseString只解析字符串的开头

您可以通过将代码更改为：

print fbf().parseString(entrada, parseAll=True)

或者，您可以使用StringEnd（）标记结束语法-有关详细信息，请参阅中parseString下的文档