理解上下文無關和上下文相關語言
在形式語言理論領域,語法定義了建構語言的語法規則。在討論 C 等程式語言時,理解其語法的本質至關重要。
上下文無關語法與上下文相關語法
C 語法的歧義性
一些說法表明,由於某些結構的歧義,C 是上下文相關的。然而,查看上下文相關語法的定義可能無法完全解釋 C 的行為。
C 解析器和圖靈完備性
C 解析的複雜性是顯而易見的在臭名昭著的示例程序中,語法正確性取決於數字是否為素數。這表示解析 C 需要圖靈機或無限制語法(Type-0 語法)。
C 是上下文無關的還是上下文敏感的?
兩者都不是上下文無關或上下文相關的語法都可以完全捕捉 C 的複雜性。 C 屬於一個更強大的類別,稱為 Type-0 語法,它允許產生式兩邊都有任意符號序列。
C 語言定義的含義
複雜的C 語法的本質使得提供完整的形式語法變得具有挑戰性。相反,該標準提供了部分形式語法,並補充了用於消歧和語義的技術英語規則。
結論
C 解析超出了上下文無關的限制和上下文相關的語法。它需要圖靈完備的計算模型,反映了語言固有的複雜性。因此,C 的語法無法被正式語法準確捕獲,並且該標準選擇了正式和非正式規則的組合來定義其語法。
以上是C 的語法是真正的上下文無關、上下文敏感還是更強大的東西?的詳細內容。更多資訊請關注PHP中文網其他相關文章!