C 文法是真正的上下文無關或上下文敏感，還是更強大的東西？

揭示C 的語法：上下文複雜性

關於C 是上下文無關還是上下文敏感的爭論源於以下觀點：某些表達中的「歧義」。然而，二義性是特定語法的特徵，而不是語言本身。

C 語法超越了上下文無關語法和上下文相關語法的限制。 C 需要圖靈完備的解析器，這意味著「Type-0」語法，喬姆斯基層次結構中最強大的類型。

在 Type-0 語法中，任何符號序列都可以出現在產生式規則，允許圖靈完備的表達式。完全捕獲 C 語法的上下文相關語法的不存在增強了其上下文敏感性。

此外，C 模板實例化本身是圖靈完備的，可以在解析過程中進行計算。這使得 C 不適合上下文無關和上下文相關的分類。

雖然 C 的上下文無關或上下文相關的語法在理論上是可能的，但其難以理解的複雜性使其不切實際。 C 標準中對技術英語和演算法描述的依賴反映了對這種句法不確定性的認識。

C 標準在附錄 A 中提供了指導，而不是正式語法。但是，它明確指出此「摘要」 C 語法」是一個近似值，而不是詳盡的定義。消歧規則、存取控制和類型規則對於過濾掉語法上有效但語義上無效的結構至關重要。

本質上，C 語法超越了上下文無關和上下文敏感的邊界，體現了圖靈完備的複雜性，需要更豐富的語法系統。

以上是C 文法是真正的上下文無關或上下文敏感，還是更強大的東西？的詳細內容。更多資訊請關注PHP中文網其他相關文章！