设G是一个给定的文法，S是文法的开始符号，如果S->x(其中x∈V*)，则称x是文法G的一个()。