V2EX  ›  英汉词典

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”相关表述)
关于   ·   帮助文档   ·   自助推广系统   ·   博客   ·   API   ·   FAQ   ·   Solana   ·   830 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 13ms · UTC 21:13 · PVG 05:13 · LAX 13:13 · JFK 16:13
♥ Do have faith in what you're doing.