1型文法也稱上下文有關文法，相當於線性界限自動機。
如果文法g(n，σ，p，s)的規則集p中所有規則滿足如下形式：ααβ->αγβ，其中，a∈n，α，β，γ∈(n∪
σ)*， 且γ
至少包含乙個字元，規則右端的長度大於左端則稱文法g為1型文法。若α和β同時為空，則1型文法變成了2型文法。
1、線性界限自動機的σ中包括兩個特殊符號#和$，分別表示輸入鏈的左端和右端結束標誌。
2、線性界限自動機m的格局，以及兩個格局之間轉移關係的定義與圖靈機的相同。
3、線性界限自動機與圖靈機的唯一不同是對讀/寫頭位置的限制。
5、對於任何狀態q∈q和a∈
γ，如果對映δ(q,a)包含的成員(下乙個狀態)不超過乙個，則線性界限自動機是確定的。
如果l是乙個上下文相關語言，則l由乙個不確定的線性界限自動機所接受。反之，如果l被乙個線性界限自動機所接受，則l是乙個上下文相關語言。
編譯原理 屬性文法和語義規則
乙個屬性文法形式上定義為乙個三元組 agag ag其中，g gg 表示乙個上下文無關文法。v vv 表示屬性的有窮集。e ee 表示屬性的斷言 語義規則 或謂詞的有窮集。屬性可以分為兩類 綜合屬性用於自下而上傳遞資訊 繼承屬性用於自上而下傳遞資訊 通常使用自底向上的方法,按照語義規則來計算各結點的綜...
編譯原理屬性文法和語法制導翻譯
屬性文法 是在上下文無關文法的基礎上為每個文法符號 終結符或非終結符 配備若干個相關的 值 稱為屬性 屬性分類 綜合屬性和繼承屬性 綜合屬性 用於 自上而下 傳遞資訊 在語法樹中，乙個結點的綜合屬性的值，由其子結點的屬性值決定 s 屬性文法 僅僅使用綜合屬性的屬性文法 繼承屬性 用於 自上而下 傳遞...
編譯原理的文法和語言總結與梳理
我們都知道，一種語言必定他的文法去描述，它的完整定義包括語法和語義兩個方面。語言和語法是指一組規則，用它可以形成和產生乙個合適的程式。目前廣泛使用的是上下文無關文法，也就是用上下文無關文法作為程式設計的描述工具，比如用a b c表示是乙個合法的賦值語句，則a b 就不是合法的賦值語句。什麼是文法？文...