考虑以下以字母∑ = {a，b，c}为背景的上下文无关文法，其中S为起始符号：
S → abScT | abcT
T → bT | b
以下哪项代表上述语法生成的语言?
(A) {(ab) n (cb) n | n> = 1}
(B) {(ab n cb m 1 cb m 2 …cb m n | n，m 1 ，m 2 ，…..，m n > = 1}
(C) {(ab) n (cb m ) n | n> = 1}
(D) {(ab) n (cb n ) m | m，n> = 1}答案： (B)
说明：让我们根据给定的语法生成一个字符串：
S→绝对
→ab abScT cT
→abab abcT cTcT
→abababc bT cTcT
→abababcb bT cTcT
→abababcbb bT cTcT
→abababcbbbb cTcT
→abababcbbbbc b cT
→abababcbbbbcbc bT
→abababcbbbbcbcbb
该字符串可以排除所有错误的选项。现在，让我们尝试分析此字符串。
→abababcbbbbcbcbb
→{((ab n cb m 1 cb m 2 …cb m n | n，m 1 ，m 2 ，…..，m n > = 1}
通过给定语法生成的字符串，我们可以清楚地排除选项(A)，(C)和(D)。
仅选项(B)是正确的。
这个问题的测验