已知文法 G: S—A0|B1，A- S1|1, B-*S0|0, 其中 S 是开始符号。从 S 出发可以推导出（ ）。
A. 所有由 0 构成的字符串
B. 所有由 1 构成的字符串
C. 某些 0 和 1 个数相等的字符串
D. 所有 0 和 1 个数不同的字符串
C