句法歧义消解的理论有三类：两阶段模型、基于制约的模型或制约满意理论、参照支持模型或弱相互作用模型。1.两阶段模型。这种模型中最有影响的是花园路径模型，它假定句法分析包含两个阶段，最初，只是纯粹的句法分析原则起作用，然后，语用的和词汇的信息才起作用，它们被用来证实或拒绝最初阶段的输出。该模型采纳了模块的建构，认为句法加工独立于并且先于任何语义加工，这样，它实际上限制了最初的结构建构阶段读者所使用的词汇信息类型。2.基于制约的模型或制约满意理论。基于制约的模型假设了强的相互作用的系统，认为词汇特定的可供选择的句法表征平行通达，但是相对的可通达性要受频率和语境因素的控制。这样，语义和话语信息能够阻止不合适句法表征的假定。这类模型把句法歧义消解看成是一个制约满意问题，不同的制约提供证据支持部分被激活的结构。与花园路径理论不同，基于制约的模型强调词汇信息和概率制约的即时的作用，相信词汇信息能立影响句法分析决策。3.参照支持模型或弱相互作用模型。其基本思想是：来自话语的、和句法有关的语用信息与句法结构的话语功能紧密联系，因此能引导句法歧义消解。按照这类模型，句法分析平行进行。然后，读者快速地选择一个其语用前提最符合话语的结构。除上述三类比较有影响的理论外，为了说明句法加工和语义加工的关系，研究者还提出了其他一些模型，其中值得注意的是：同时作用模型。任何句子加工模型，都必须能说明这样一个事实，即尽管输入在句法上有歧义，读者还是能建立一个暂时的解释。不同的模型以不同的方式说明这一事实：
1、花园路径模型：利用不见词汇的原则建构最简单的结构；
2、制约满意理论或强相互作用模型：建构最符合语义和话语语境的句法结构；
3、同时作用模型则依靠区别的句法和语义加工系统来说明理解的迅速性。