我正在尝试编写一个lambda演算解析器,我定义的语法似乎不在LLR中:
E ::= x | \x.E | EE | (E)
我减少左递归:
E ::= xE' | \x.EE' | (E)E'
E'::= EE' | <empty>
似乎不对,有人可以帮忙吗？
compiler-construction haskell lambda-calculus context-free-grammar left-recursion
haskell ×1