具有唯一键的XML和JSON是哪种正式语言类？

我把这个问题从 id没有答案的stackoverflow中移了出来。我们有一个类似的问题，JSON是否是常规的：

JSON和XML都经常被称为无上下文语言-它们都主要由EBNF中的形式语法指定。但是，这仅适用于RFC 4329第2.2节中定义的JSON ，它不需要对象键的唯一性（许多人可能不知道，但是{“ a”：1，“ a”：2}是有效的JSON！）。但是，如果您需要JSON中的唯一键或XML中的唯一属性名，则不能用上下文无关的语法来表示。但是，这是具有唯一键和格式正确的XML（这意味着唯一的属性名称）的JSON语言类。

我找到的关于该主题的最佳论文之一（Murato等，2001：“ 使用形式语言理论的XML模式语言分类法”）明确排除了完整性约束，例如键/键引用和唯一性，需要在附加层上进行检查。除此之外，由XML Schema或DTD定义的XML子集不受上下文限制。但不是所有格式良好的XML文档的全部。

我认为嵌套堆栈自动机（=索引语言）应该能够解析具有唯一键约束的JSON。对于XML，可以将问题简化为所有用逗号分隔的唯一整数列表的语言S。有谁知道更多，最好是被引用吗？

PS：一种确定语言的简单算法（与上下文无关的部分除外）基于良好的排序算法。因此，在“线性时间”下应确定为O（n log n）最坏的情况。我还没有发现复杂性类是“轻度上下文相关”还是“索引”，但可能介于上下文无关和上下文敏感之间（？）。

编辑：也许我更好地为理论性更强的计算机科学家重新提出了这个问题。给定Backus-Naur-Form可以重复（x := a+ $\Leftrightarrow$ x := a | x a）表示的所有语言的CFL类。现在我该怎么获得计算能力，如果我介绍了“重复独特的实例”操作^，所以a^是一个序列a，其中在终端的不同序列的每个元素的结果吗？

将BNF与您的唯一重复运算符配合使用时，x := S^表示an x是asymbol 的实例S，可以选择后面跟b有set 的实例S - a，本身是后面可以跟着cset 的实例S - a - b，依此类推。如果|S|是的数目S，并且是有限的，那么2 ^ |S|! - 1是的数目S^。

就所描述的语言的计算能力而言，谈论实际上没有意义，因为这是关于静态语义的，介于语法和普通（动态）语义之间。语法的表达能力得到了扩展，因为它具有表达特定类型的输入适应的形式化手段。

具体而言，它提供了一种接受特定集合的子集的排列的方法。我认为此类语言没有任何现有名称。它当然不是上下文无关的，但是上下文要求至少受到了严格控制。如果您需要一个术语，只需投一个即可。我建议针对上下文类别的语言，如果没有其他有关静态语义约束的嵌入式信息，就无法用上下文无关的语法来描述，这在本质上是模糊的语法。

此特定扩展名最有用的应用可能就是引入唯一键约束的功能，但是它也使您可以将诸如的有趣集描述为x := [0-7]^，它与8个八进制数或更少的非重复数字匹配。至于它的复杂性，确定是否可以看到集合中的元素并不差于对数，并且检查的频率在匹配的元素数量中是线性的，因此^操作员的确可以在最坏情况下的线性时间确定。