【发布时间】：2014-12-09 00:20:53
【问题描述】：
如果我们说如果有一个文档对 DTD 有效，那么 DTD 是可满足的，那么是否有任何 DTD 不可满足的示例？
【问题讨论】：
-
实际上，XML 文档符合 DTD，而不是相反。 DTD 不能说是“符合”，因为它是以规则的形式规定了“符合”的特定含义的地方。
-
这就像在问：如果源代码符合编程语言，我们说程序是有效的，有没有编程语言无效的例子？
-
好吧，如果有一个符合的文档，假设 DTD 是可满足的，你有不能满足的示例 DTD？
-
@slebetman，是的，你是对的：这很像这里的问题。一旦我们克服了 OP 提出问题的困难，它同样有趣。不是特别难回答，但很有趣。我们可以定义一种没有符合要求的程序的编程语言吗？或者更笼统地说：我们可以使用 BNF 来定义一种没有句子的语言吗？并不是每个第一次接触 BNF 或编程语言规范工具或 DTD 的人都会发现答案显而易见。