1 基本概念
1.1 定义
特征检查是句法分析中常用的一种机制，指对词项或句法成分所携带的语法特征进行识别、比对与验证，以判断它们是否能够在某种语法规则下合法组合。这里的“特征”通常包括数、性、人称、格、时态、体貌、语气以及选择限制等属性。若相关特征能够满足结构要求，句法派生便可继续进行；若不满足，则结构往往被判定为不合语法或难以接受。
1.2 术语来源与理论背景
“特征检查”这一说法主要来源于现代句法理论，尤其是生成语法传统中的形式化分析。随着语言学研究逐步转向对规则系统和结构约束的精细刻画，研究者开始将句子构造成分看作带有特征的单位，并借助特征之间的对应关系解释语法现象。该概念后来也被广泛引入计算语言学和自然语言处理，用于描述规则匹配、约束满足和句法解析等过程。
1.3 与相关句法概念的区别
特征检查并不等同于一般意义上的语法判断，它更强调结构内部不同成分之间的属性匹配关系。与之相关的概念包括特征赋值、特征一致和特征消解，这些术语常在同一理论框架中出现，但关注点并不完全相同。
1.3.1 特征赋值
特征赋值指某个成分向另一个成分提供或确定某项语法特征，例如为某一空位补充格信息，或为某一结构指定可接受的特征值。它强调“特征从何而来”，而特征检查更强调“特征是否匹配”。
1.3.2 特征一致
特征一致是指两个或多个成分在相关语法属性上保持相容，例如主语与谓语在人称和数上的协调。它描述的是结果状态，而特征检查则是实现这一结果的过程性机制。
1.3.3 特征消解
特征消解通常指在句法派生过程中，原本需要处理的特征被满足、核验或移除，从而不再阻碍结构形成。它更接近于特征处理后的终结状态，而不专指某一具体检查步骤。
2 理论基础
2.1 生成语法中的特征观
在生成语法中，词项并非只由词汇意义构成，还带有一组可参与句法运算的特征。这些特征决定成分之间如何组合、是否需要移动，以及结构能否在派生中继续保留。特征观使句法分析从单纯的线性排列转向更为抽象的结构关系。
2.1.1 可解释特征与不可解释特征
可解释特征是指能够直接贡献于语义理解的属性，例如某些与词义相关的类别信息；不可解释特征则主要服务于句法运算，本身不直接进入语义解释。后者通常需要在派生过程中被检查并处理，否则结构会因未完成的特征而失效。
2.1.2 强特征与弱特征
强特征和弱特征是用来区分特征在句法派生中所需满足的紧迫程度。强特征一般要求在较早阶段得到满足，常会推动移动或显性匹配；弱特征则可能允许在较后阶段完成核验。不同理论对这一分类的具体处理并不完全一致，但其核心都在于说明特征满足的时序差异。
2.2 特征检查机制
特征检查机制描述的是语法系统如何通过比较和核验特征来控制句法结构的形成。它通常包括识别特征、寻找匹配对象、建立对应关系以及确认结果是否满足规则要求等步骤。
2.2.1 结构匹配
结构匹配是特征检查的基础，要求两个成分在指定属性上能够对应，例如数值一致、格位匹配或选择条件满足。匹配并不一定意味着两个成分完全相同，而是指它们在相关维度上具有可兼容性。
2.2.2 特征核验
特征核验强调对已建立关系的确认，即某项特征是否真正得到满足，是否可以进入后续派生阶段。若核验失败，句法系统往往会阻止该结构继续生成。
2.2.3 句法派生中的作用
在句法派生过程中，特征检查相当于一道筛选机制。它既可以限制成分的组合，也可以解释为何某些看似可读的表达在语法上并不成立。因而，特征检查在结构形成、移动触发和终端输出等环节都具有基础性作用。
2.3 不同理论框架下的处理
不同句法理论对特征检查的实现方式有所差异，但总体目标相近，即通过形式化约束解释语言结构的可接受性。
2.3.1 最简方案
最简方案倾向于将特征视为驱动句法运算的核心因素。词项进入派生后，相关特征需通过检查与删除等方式得到处理，结构才能继续推进。该框架常将移动、格分配和一致关系等现象纳入特征驱动的统一分析之中。
2.3.2 依存语法
依存语法更重视词与词之间的支配关系，特征检查则常表现为依存边上的约束验证。例如，中心词与依存成分之间在数、格或配价上的匹配，会影响依存关系是否成立。其特点是突出局部关系与线性依附。
2.3.3 范畴语法
范畴语法中，词项通常被赋予明确的类别类型和组合要求，特征检查可看作对这些组合条件的验证。一个成分只有在满足范畴所要求的输入输出特征后，才可与其他成分完成组合，从而形成更大结构。
3 特征类型
3.1 形态句法特征
形态句法特征通常直接表现为词形变化或配合关系，常见于主谓一致、名词短语构成以及代词选择等现象。
3.1.1 数
数用于表示单数、复数或其他数量类别。在许多语言中，数特征会影响名词、动词、限定词等成分之间的一致关系。
3.1.2 性
性是名词及相关成分的语法分类属性，常见于某些语言的名词系统中。性特征可能影响形容词、冠词或代词的形式选择。
3.1.3 人称
人称表示说话者、受话者或其他参与者的身份类别，通常与代词和动词屈折形式密切相关。人称特征在主谓一致和指称关系中都较为重要。
3.2 结构句法特征
结构句法特征主要关系到句法成分在结构中的位置、角色和搭配条件，属于更偏句法层面的约束。
3.2.1 格
格用于标示名词短语在句中的语法功能或与谓词的关系。它常被视为判断成分是否进入正确结构位置的重要依据。
3.2.2 题元角色
题元角色指论元在事件结构中承担的语义功能，如施事、受事、工具等。题元角色与句法位置并非完全等同，但在许多分析中需要彼此协调。
3.2.3 选择限制
选择限制是谓词或中心词对其搭配成分所设定的限制条件，例如某类动词只接受特定类型的补语或宾语。它体现了词汇选择与句法许可之间的对应关系。
3.3 时体与语气特征
时体与语气特征用于刻画事件与说话情境之间的关系，常出现在动词系统中。
3.3.1 时态
时态表示事件相对于说话时刻的时间定位，如过去、现在或将来。它常影响动词形式及句法结构的整体解释。
3.3.2 体貌
体貌关注事件的内部时间结构，例如完成、持续、反复等。体貌特征会影响谓词与补足成分的组合方式。
3.3.3 语气
语气反映说话者对命题的态度或句子的功能类型，如陈述、疑问、祈使等。语气特征常参与句法形式的选择与配置。
3.4 语义相关特征
语义相关特征并不总是直接表现为显性的词形变化，但它们会影响结构是否具有可理解性和可解释性。
3.4.1 论元适配
论元适配指谓词所要求的参与者数量、类型与实际成分之间的对应程度。若论元配置不合要求，结构虽可能在形式上成立，却在语义上显得牵强。
3.4.2 指称一致
指称一致强调不同成分对同一对象或实体的指认是否协调。例如代词与先行词之间的指称关系，常需在特征层面获得支持。
3.4.3 语义可接受性
语义可接受性是指一个表达是否具有自然、合理且可理解的意义。它不完全等同于句法合法性，但特征检查常可帮助解释为何某些表达会在语义上显得异常。
4 检查过程
4.1 特征匹配
特征匹配是特征检查的起点，指系统在相关成分之间寻找可对应的特征值。匹配成功后，结构获得继续构造的基础；匹配失败则可能导致派生中断。
4.2 特征传播
特征传播是指某一成分的特征在结构中向其他位置显现或传递。它在一致关系、移动分析和空位解释中都十分常见，能够说明某些表面上不显性的属性为何仍然影响句法结果。
4.3 特征删除与消解
当某项特征在句法过程中得到满足后，系统可将其删除或视为已消解。这样做的目的在于防止同一特征重复施加约束，也有助于解释派生何以在满足条件后正常结束。
4.4 特征不一致的后果
若特征之间无法完成检查，结构通常会出现不同程度的异常。从严格的形式分析看，这种异常并非只是风格问题，而是语法系统内部约束未被满足的结果。
4.4.1 非法结构
非法结构指不符合语法规则或句法约束的组合形式。它在形式上可能看似完整，但因特征冲突而无法被系统接受。
4.4.2 语法崩溃
语法崩溃是较强的说法，通常用于描述派生过程在关键节点上失效，导致后续结构无法继续构建。该说法多见于理论化或比喻性表达。
4.4.3 句子不可接受
句子不可接受是最常见的结果描述，表示母语者倾向于判断该表达不自然或不合语法。需要注意的是，不可接受并不总意味着毫无意义，有时只是违反了特定结构要求。
5 句法中的具体应用
5.1 主谓一致
主谓一致是特征检查最直观的应用之一，指主语与谓语在相关属性上保持协调。
5.1.1 数一致
数一致要求主语与谓语在单复数等方面保持对应。若二者不一致，句子往往会显得别扭或不合规范。
5.1.2 人称一致
人称一致涉及主语与动词在第一、第二、第三人称上的协调。某些语言对此有明显形态标记，因此更便于观察。
5.1.3 性一致
在具有语法性别系统的语言中，主语、谓语或修饰语之间也可能表现出性一致关系。此类一致常作为特征检查的重要实例。
5.2 宾语与格检查
宾语与格检查主要涉及谓词与宾语之间的结构关系，以及宾语是否获得合适的格位或论元身份。
5.2.1 格赋予
格赋予是句法中常见的关系，表示某一中心词或结构为名词短语提供格信息。格位合法与否，往往直接影响宾语能否顺利出现。
5.2.2 论元结构匹配
论元结构匹配关注谓词的配价要求与实际论元配置是否一致。若动词要求的成分数量或类型不足，结构便可能不完整。
5.3 移位与检查
移位与检查常在生成语法中密切联系，特征未被即时满足时，某些成分可能需要转移到特定位置以完成核验。
5.3.1 移动驱动
移动驱动指句法移动的原因来自特征满足需求，而非单纯的线性排列变化。成分位置的调整，往往服务于后续检查。
5.3.2 位置约束
位置约束规定了某类成分可以出现或必须经过的结构位置。特征检查常与这些位置条件共同作用，限制移动路径。
5.3.3 句法特征验证
句法特征验证是对移动后结构是否满足目标条件的确认。只有当相关特征在新位置上被检查成功，结构才算完成该步骤。
5.4 问句与从句结构
问句和从句是观察特征检查的重要领域，因为它们常涉及补位、引导词和依附关系等复杂结构。
5.4.1 疑问特征
疑问特征用于标记句子是否具有提问功能。它会影响疑问成分的排列、移动与解释方式。
5.4.2 补语化特征
补语化特征主要涉及从句如何被引入以及从句边界如何标示。它在从句层级和句法封闭性分析中具有重要作用。
5.4.3 从属关系判断
从属关系判断用于确定某一分句是否依附于更高层级结构。特征检查在此帮助区分主句、从句以及相关嵌套关系。
6 形式化表示
6.1 特征矩阵
特征矩阵是将一个词项或成分所携带的特征以列表或表格方式表示的方法。每一行或每一项对应一个属性及其取值，便于系统比较和统一处理。
6.2 特征标注方式
特征标注方式指在词项、节点或规则上注明其语法属性的具体方法。标注可以是显式的符号表示，也可以是隐含在规则系统中的约定。
6.3 约束表达式
约束表达式用于形式化描述哪些特征组合是允许的，哪些组合会被排除。它在理论建模和计算实现中都十分关键。
6.4 树结构与特征传递
在树结构表示中，特征可沿节点之间的层级关系传播或继承。通过这种方式，句法分析不仅描述结构层次，也能够反映成分之间的特征联系。
7 相关语言现象
7.1 错配现象
错配现象指句法成分之间在某项特征上未能一致，却仍在表层中出现的情况。它有时来自特殊语法条件，有时则是口语、风格或加工限制所致。
7.2 省略与恢复
省略现象中，某些成分虽然未在表面显现，但其特征可能仍需在结构中得到处理。恢复分析正是借助特征线索解释这些隐含成分如何被理解。
7.3 空成分分析
空成分是指在句法结构中占位但不具明显语音形式的成分。特征检查常用于说明这些空位如何获得合法身份，以及为何能与周围结构协调。
7.4 歧义与多重解析
当一个表达可以对应多个结构时，就会产生歧义。不同解析方案之间往往在特征满足方式上存在差别，因此特征检查也成为区分多重分析的重要依据。
8 计算语言学中的特征检查
8.1 规则系统中的实现
在规则系统中，特征检查通常通过预设条件和匹配规则来实现。系统依据输入成分的属性，判断其是否满足某条句法规则。
8.2 句法分析器中的应用
句法分析器会在分析过程中同步记录和核验特征信息，以提高结构判断的准确性。特征检查能够帮助分析器避免生成大量不合法候选结构。
8.3 特征统一与约束满足
在计算处理里，特征统一是实现特征检查的常见技术之一。它通过寻找可兼容的特征值来完成结构合并，而约束满足则进一步确保整套规则都能被同时满足。
8.4 语法校对与机器翻译
语法校对系统常利用特征检查发现一致错误、格位错误或搭配异常。机器翻译则可借助特征信息改进句法重建与目标语言生成，从而提升输出的自然度。
9 研究意义
9.1 解释语法合法性
特征检查为解释“为什么某些句子成立、某些句子不成立”提供了形式化路径。它将抽象的语法判断落实为可操作的特征约束。
9.2 描写语言差异
不同语言在特征类型、显隐程度和检查机制上存在差异。研究这些差异，有助于更细致地理解语言类型学与语法系统的多样性。
9.3 支持形式化建模
特征检查便于将句法现象转化为可计算、可验证的模型。无论在理论推导还是在程序实现中，它都具有较高的建模价值。
9.4 推动自然语言处理发展
在自然语言处理领域，特征检查为句法分析、错误检测和生成任务提供了结构化依据。它有助于提高系统对语言规律的把握程度。
10 相关条目
10.1 特征一致
特征一致是指相关成分在语法属性上保持协调的状态。
10.2 格理论
格理论研究名词短语在句法结构中的格位分配与相关关系。
10.3 最简方案
最简方案是生成语法中的一种理论框架，强调特征驱动的派生与经济性原则。
10.4 句法分析
句法分析是对句子结构进行分层、分组和关系判断的语言学过程。