cの構文を解除する：コンテキストの複雑さ

[&&&&& cがコンテキストフリーかコンテキストに敏感なステムかについての議論は、特定の表現における「曖昧さ」の認識からの議論です。ただし、あいまいさは、言語そのものではなく、特定の文法の特徴です。 Cにはチューリング完了パーサーが必要であり、チョムスキー階層で最も強力なタイプである「タイプ0」文法を意味します。 C構文を完全にキャプチャするコンテキストに敏感な文法の非存在は、コンテキストの感受性を強化します。これにより、Cはコンテキストフリーとコンテキストに敏感な分類の両方に対して不適格になります。 C規格の技術的な英語とアルゴリズムの説明への依存は、この構文的な不確定性の認識を反映しています。曖昧性の低下ルール、アクセス制御、およびタイプルールは、構文的に有効であるが意味的に無効な構成要素をフィルタリングするために不可欠です。