问个上下无关文法的问题,实在不知道该发哪了,请高手帮帮忙,在线等

问个上下无关文法的问题,实在不知道该发哪了,请高手帮帮忙,在线等按照上下无关文法的定义,应该包含terminal,nonterminal,production,start symbol.但是到底上下无关文法中是不是真的一定要存在终结符(terminal)的呢?遇到个文法:A->AA|(A)ε搞不懂(A)后面跟空字符ε是什么意思,这样的话这个文法不是永远不可能终止了么?还有A->AA|(A)ε到底描述了什么语言呢?在这个语法规则里难道还可以存在A(是非终结的啊!..).如果是A->AA|(A)|ε的话应该可以表达所有括号的匹配的组合吧,请问高手A->AA|(A)ε到底表示什么啊?在线等,头痛ING打错了,是上下文无关文法我觉得你说的这个文法应该是这样的：A->AA|(A)|ε这样，本文法推出的就是嵌套或者并列的匹配的括号。这个文法是个无穷的文法,不是上下文无关文法啊,A根本没有一个产生式会产生终结符楼上的分析估计是对的产生的语言就是左右括号并列循环嵌套的串了,不能说是"嵌套或并列",很难描述的说.我也觉得应该是A->AA|(A)|ε,这样的话就可以表示所有能够匹配的括号串了,谢谢楼上两位