Well-Formedness
Definition / 释义
well-formedness:良构性;形式良好性。指某个表达式、句子、公式、结构或数据在形式上符合既定规则(如语法规则、逻辑规则、格式规范),因此被认为“构造正确”。(在语言学、逻辑学、计算机科学中常见)
Pronunciation / 发音
/ˌwɛlˈfɔːrmdnəs/
Examples / 例句
A parser checks the well-formedness of each sentence.
解析器会检查每个句子的良构性。
In formal logic, well-formedness ensures that a formula follows the rules before we evaluate whether it is true or false.
在形式逻辑中,良构性确保一个公式在判断真伪之前,先在形式上符合规则。
Etymology / 词源
由 well-formed(“构造良好的、形式正确的”)+ 名词后缀 -ness(表示“性质、状态”)构成。该词在讨论“规则系统”时尤其常用:先强调“形式是否合规”,再谈“意义是否合理”或“真假是否成立”。
Related Words / 相关词
Literary Works / 文学与著作例证
- Noam Chomsky, Syntactic Structures(讨论句法规则与合式/良构表达式的传统语境)
- Alfred Tarski, Introduction to Logic and to the Methodology of Deductive Sciences(涉及“合式公式”等概念)
- John Hopcroft, Rajeev Motwani, Jeffrey Ullman, Introduction to Automata Theory, Languages, and Computation(形式语言中对“良构/合式”结构的常见讨论)
- ISO/IEC 14977: EBNF(扩展巴科斯范式标准中常见“well-formed”相关表述)