已知某文法G[S]：S→0S0，S→1，从S推导出的符号串可用（　）（n≥0）描述。