乔姆斯基提出了著名的生成转换语法，它是（）的语言理论基础。