单选题 文法G[S]:S→xSx|y所描述的语言是______ (n≥0)。

【正确答案】 D
【答案解析】[分析] 根据文法所描述的推导规则,推导过程是这样的:
S→xSx→x2Sx2→x3Sx3→...→xnSxn→xnyxn
同时又有
xSx→xyx;x2Sx2→x2yx2,...
因此从两个式子得出规律:字符串中间只有一个y,两边有相同数目的x。