句法是语言中词语组合成短语、分句和句子的规则系统，也是研究这一系统的语言学分支。它既涉及表达成分的排列顺序，也涉及它们之间的结构关系：哪些词组成一个单位，哪些成分依存于其他成分，以及陈述句、疑问句和其他构式如何组织。句法是语法的组成部分，而不是整个语法的同义词。句法研究的核心任务是描述和解释说话者生成与理解句子的能力所依据的规律。(ecampusontario.pressbooks.pub)
研究范围与语法知识
句法通常与研究词内部结构的形态学（语言学）以及研究意义的语义学相区分。这些领域相互作用：词的形式可以表达语法关系，而句子结构也参与意义的解读。因此，仅仅认识各个词并不足以理解一个表达；听者还需要识别这些词是如何组合的。(ecampusontario.pressbooks.pub)
句法知识具有能产性，而不只是记忆中储存的一组句子。说话者能够理解从未遇到过的词语组合，也能辨别哪些排列符合语法、哪些不符合。语言学家通过合语法性判断、构式比较和结构测试来研究这种知识。这类分析关注的是某一特定语言变体的规律，而不只是考察它是否符合正式写作所规定的规则。方言及其他语言变体在语法模式上可能存在系统性的差异。(openlibrary-repo.ecampusontario.ca)
成分与层级结构
句子不只是相邻词语组成的序列。在基于成分的分析中，句子包含相互嵌套的单位，称为句法成分。例如，在“The young musician played a familiar melody”（那位年轻的音乐家演奏了一段熟悉的旋律）中，“the young musician”和“a familiar melody”是名词短语，而“played a familiar melody”构成动词短语。这些组合可以用括号或树形图表示，以展示较小的单位如何包含在较大的单位之中。(ecampusontario.pressbooks.pub)
成分测试为这样的组合关系提供证据。名词短语可以用代词替换，例如“The young musician played it”（那位年轻的音乐家演奏了它）。其他测试则考察一串词能否整体移位、出现在分裂句结构中，或单独作为问题的回答。这些测试的适用性取决于具体构式和预期的解读；尤其是并列测试，并不总是可靠的判据。因此，结构分析依靠的是多种证据的相互印证，而不是某一种机械的操作程序。(ecampusontario.pressbooks.pub)
层级结构也能解释结构歧义。在“She observed the student with binoculars”中，末尾的短语既可以说明观察时使用的工具，即“她用双筒望远镜观察那名学生”，也可以修饰“the student”，即“她观察那名带着双筒望远镜的学生”。词语本身没有变化，但组合方式不同。这与一个词具有多个意义所造成的歧义有所区别。(ecampusontario.pressbooks.pub)
语法关系与依存关系
句法区分语法功能与语义角色。主语或宾语根据其语法表现来识别，而施事、受事等角色则描述参与者在事件中所起的作用。这两类划分不一定重合：在“The window was broken by the child”（窗户被那个孩子打破了）这样的被动句中，主语指的是受到影响的实体，而不是施事。(ecampusontario.pressbooks.pub)
论元结构涉及与谓词相关的参与者，以及这些参与者在语法上的实现方式。不同动词允许不同的参与者组合。此外，还可以添加修饰语来说明时间、地点等情境。区分由谓词选择的依存成分与补充性的修饰语，有助于解释为什么某些组合是必需的或受到限制，而另一些成分则可以较为自由地添加。(ecampusontario.pressbooks.pub)
另一种表示方式强调词语之间的依存关系。在依存语法中，中心词通过带有标签的关系与其依存成分相连，例如主语、宾语或修饰语关系。成分表示与依存表示组织句法信息的方式不同：前者强调相互嵌套的单位，后者则强调词语之间的联系。(ecampusontario.pressbooks.pub)
语序与跨语言差异
语言类型学比较不同语言的句法模式。其中一种重要的分类依据，是主语、宾语和动词均显现的及物陈述分句中的语序。英语通常采用主语—动词—宾语的顺序。逻辑上可能的六种排列方式都已在实际语言中得到证实，不过在《世界语言结构地图集》的调查中，主语—宾语—动词和主语—动词—宾语的顺序远比宾语居首的顺序常见。(wals.info)
这些标签只是概括性的描述，并非对语法的完整刻画。有些语言允许多种常用语序，还有一些语言的语序会随分句类型或助动词是否出现而变化。“自由语序”并不意味着没有限制：语序的选择可能受语用学因素支配。即使在同一种语言中，及物分句与不及物分句里主语和动词的相对位置也可能不同。(wals.info)
嵌套与理论取向
分句可以出现在其他分句内部，例如“Maya believes that the train has departed”（玛雅相信火车已经出发了）。嵌入分句所占据的位置，也可以由更简单的表达填充。这种嵌套体现了递归：一种结构模式可以在更大的结构中再次出现。递归有助于解释，人们如何利用有限的语法资源构建复杂的表达。(openlibrary-repo.ecampusontario.ca)
不同理论取向在基本表示方式和解释方式上有所不同。生成语法为句子形成所依据的结构操作和制约条件建立明确的模型。构式语法则将语法构式视为形式与意义或功能之间的约定俗成的配对，其中也包括无法完全根据组成词语预测的模式。这两种取向都研究一般模式如何与具体表达相互作用。(pressbooks.pub)
计算分析
在自然语言处理中，句法分析为句子赋予结构分析。经过标注的句子集合称为树库，可为句法分析器的开发与评估提供材料。通用依存项目提供面向跨语言研究的依存关系和形态标注规范。这些表示方式支持语言比较，也支持关系抽取、阅读理解和机器翻译等计算任务。(universaldependencies.org)