不一定,如:设文法G0= (VN, VT, S, P ) ,其中VN = {S, NP, VP, N, V }, VT = {写,学生,作业}, P 中产生式如下:1.S-> NP VP2.VP -> VP NP3.VP->V NP4.NP -> N5.N ->学生6.N ->作业7.V ->写学生,作业,写均是终结符号