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