原文法规则如下:
lexp →NUMBER| ( op lexp-seq )
op →+ | - |
lexp -seq → lexp-seq lexp|lexp
最后是想让它EBNF规范:
我现在知道lexp -seq → lexp-seq lexp|lexp 变成lexp -seq →lexp{lexp}然后代入lexp →NUMBER| ( op lexp-seq )变成lexp →NUMBER| ( op lexp{lexp})接下来我就不会了,lexp →NUMBER| ( op lexp{lexp})这个文法既是左递归又是右递归,它该怎样表示消除自身的递归啊。。。{}表示0到多个重复,高手来解答下啊,万分感激!!!