6．文法 S→aaS|abc 定义的语言是( )。 A.{a2kbc|k>0} B.{akbc|k>0} C.{a2k-1bc|k>0} D.{akakbc|k>0}

C. {a2k-1bc|k>0}。文法 S→aaS|abc 定义的语言是由形如 a2k-1bc 的字符串组成的，其中 k>0。这是因为在第一条产生式中，S 可以推导出两个 a，然后再由第二条产生式推导出一个 b 和一个 c，因此最终得到的字符串形式为 a2k-1bc。其它选项中，选项 A 的字符串形式中有两个连续的 b，不符合文法的定义；选项 B 的字符串形式中只有一个 a，不符合文法的定义；选项 D 的字符串形式中有两个连续的 ak，也不符合文法的定义。因此，正确答案为 C。