どの正式な言語クラスは、XMLと一意のキーを持つJSONですか？

idが応答しないstackoverflowからこの質問を移動しました。JSONが正規であるかどうかについても同様の質問がありました。

JSONとXMLはどちらも頻繁にコンテキストフリー言語と呼ばれます。どちらも主にEBNFの正式な文法で指定されます。ただし、これはRFC 4329、セクション2.2で定義されているオブジェクトキーの一意性を必要としないJSONにのみ当てはまります（多くの人は知らないかもしれませんが、{"a"：1、 "a"：2}は有効なJSONです）。ただし、JSONの一意のキーまたはXMLの一意の属性名が必要な場合、これはコンテキストなしの文法では表現できません。しかし、一意のキーと整形式のXML（一意の属性名を意味しますか？）を持つJSONの言語クラスはどれですか。

このテーマで見つけた最高の論文の1つ（Murato et al、2001：Taxalomy using XML Schema Languages using Formal Language Theory）は、追加のレイヤーでチェックされるキー/キー参照や一意性などの整合性制約を明示的に除外しています。これに加えて、XMLスキーマまたはDTDによって定義されたXMLのサブセットはコンテキストフリーです。しかし、すべての整形式XMLドキュメントの完全なセットではありません。

ネストされたスタックオートマトン（=インデックス付き言語）は、一意のキー制約を持つJSONを解析できるはずです。XMLの場合、一意の整数のコンマ区切りリストすべての質問を言語Sに単純化できます。できれば引用で誰か知っていますか？

PS：言語を決定するための単純なアルゴリズム（コンテキストのない部分以外）は、適切なソートアルゴリズムに基づいています。したがって、O（n log n）の最悪の場合の「線形時間」で決定できるはずです。複雑度クラスが、たとえば「穏やかにコンテキスト依存」または「インデックス付き」であるかどうかはまだわかりませんが、おそらくコンテキストフリーとコンテキストセンシティブ（？）の間の何かでしょう。

x := a+ $\Leftrightarrow$ x := a | x a^a^a

あなたのユニークな-繰り返し演算子でBNFを使用して、x := S^と言うxのインスタンスであるaシンボルのS必要に応じてインスタンスに続く、b一連のS - a、自身が必要に応じてインスタンスに続くc一連のS - a - bなど、と。場合|S|の可能な数がありS、かつ有限である、そして2 ^ |S|! - 1可能性の数ですS^。

これは、構文と通常の（動的な）セマンティクスの中間の静的なセマンティクスに関するものであるため、記述されている言語の計算能力の観点から話すことはあまり意味がありません。特定のタイプの入力適応を表現する正式な手段があるため、文法の表現力が拡張されます。

具体的には、特定のセットのサブセットの順列を受け入れる手段を提供します。このクラスの言語には既存の名前はないと思います。それは確かにコンテキストフリーではありませんが、コンテキスト要件は少なくともかなり厳密に制御されています。用語が必要な場合は、1つだけをコインします。私が提案し、コンテキスト・尊重し、公正であることを静的な意味制約に関する追加埋め込まれた情報なし文脈自由文法で記述することができない言語のクラスにある精神で漠然と構文。

この特定の拡張機能の最も有用なアプリケーションは、おそらく一意キー制約を導入する機能だけですがx := [0-7]^、8などの8進数以下の非反復数字に一致するなどの興味深いセットを記述することもできます。その複雑さに関しては、集合の要素が見られたかどうかを判断することは対数より悪くなく、チェックの頻度は一致した要素の数で線形であるため、^演算子は実際に最悪の線形時間で決定できます。