单选题

给定文法G(其开始符是S)，其产生式如下：
S→OZ|0|1A
B→0D|1Z|1
D→0C|1D
A→0B|1C
C→1B|0A
Z→0Z|1|1A
下列符号串中 (30) 不属于L(G)。
【正确答案】 C
【答案解析】[解析] A选项，S[*]0Z[*]00Z[*]001A(由产生式可有A→04A)
[*]001000100000A[*]001000000000B[*]0010000000001Z
[*]00100000000010Z[*]001000000000100
即答案A属于L(G)。
B选项，S[*]1A[*]10000A[*]100001C[*]1000011B[*]10000111Z[*]10000111000000，所以答案B也属于 L(G)。
C选项，S[*]0Z[*]01A[*]011C[*]0111B(由产生式可有B→04B)
[*]O111000000000000B匹配不了，所以答案C不属于L(G)
D选项，S[*]0Z[*]00Z[*]000Z[*]0001A[*]00010B[*]000100D[*]0001001D[*]00010010C
[*]000100100A[*]0001001001C[*]00010010010A
[*]000100100100B[*]0001001001001Z
[*]00010010010010Z[*]000100100100100