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

理解上下文無關和上下文相關語言

在形式語言理論領域，語法定義了建構語言的語法規則。在討論 C 等程式語言時，理解其語法的本質至關重要。

上下文無關語法與上下文相關語法

• 上下文-自由語法： 允許左側非終結符由單一非終結符組成的規則。這些語法的上下文有限。
• 上下文相關語法： 允許左側終結符和非終結符的任意組合。他們在解析時考慮周圍的上下文。

C 語法的歧義性

一些說法表明，由於某些結構的歧義，C 是上下文相關的。然而，查看上下文相關語法的定義可能無法完全解釋 C 的行為。

C 解析器和圖靈完備性

C 解析的複雜性是顯而易見的在臭名昭著的示例程序中，語法正確性取決於數字是否為素數。這表示解析 C 需要圖靈機或無限制語法（Type-0 語法）。

C 是上下文無關的還是上下文敏感的？

兩者都不是上下文無關或上下文相關的語法都可以完全捕捉 C 的複雜性。 C 屬於一個更強大的類別，稱為 Type-0 語法，它允許產生式兩邊都有任意符號序列。

C 語言定義的含義

複雜的C 語法的本質使得提供完整的形式語法變得具有挑戰性。相反，該標準提供了部分形式語法，並補充了用於消歧和語義的技術英語規則。

結論

C 解析超出了上下文無關的限制和上下文相關的語法。它需要圖靈完備的計算模型，反映了語言固有的複雜性。因此，C 的語法無法被正式語法準確捕獲，並且該標準選擇了正式和非正式規則的組合來定義其語法。

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