奈达对翻译理论的贡献很多，其中不包括( )。
选项：

A:他将乔姆斯基的生成转换语法和语义学成果运用到翻译理论中。
B:他提出并发展了从形式对等到动态对等到功能对等的“对等原则”。
C:他贡献了“语言功能与文本类型”的翻译理论。
D:他的社会符号学翻译理论在西方翻译中占有重要地位。