⑴ 編譯原理中，形式語言里怎麼區分2型文法與3型文法
二型文法如下:
S->Ac
S->Sc
A->ab
A->aAb
三型文法如下:
S->aS
A->bA
B->cB
B->c
A->Bb
A、2型文法是上下文無關文法，表現在產生式上就是產生式的左部只有一個非終結符；3型文法從廣義上講包括左線形文法、右線形文法和正規文法 。
B、左線形文法產生式的右部要麼沒有非終結符，如果有非終結符也只能有一個，且必須位於產生式右部的最左端。
C、右線形文法產生式的右部要麼沒有非終結符，如果有非終結符也只能有一個，且必須位於產生式右部的最右端 。
D、正規文法是右線形文法的一個子集，其產生式右部只有三種情況：
1）空串
2）只有一個終結符
3）只有一個終結符後接一個非終結符
E、所有的3型文法都是2型文法。
⑵ 編譯原理問題：求解
E是文法開頭。ε代表終結符號(推理中代表終點或結果，程序語言中代表常量等)。E T 這些大寫字母一般代表非終結符號（這些代表中間過程，非結果。程序中代表函數等等）。開始是E。因為有個G(E)。E就是文法開始符號。推導就有E開始，它也是一個非終結符(代表函數、或者一個推導過程，類似於程序中的main(c++)、winmain(vc++)、dllmain(dll)等主函數）。
1算術表達式文法：這個文法是一個遞歸文法。計算機進行邏輯推導時會走很多彎路（類似於遍歷一顆樹的過程）。為了不讓計算機走彎路（提高效率的目的），可以變換為第二種文法。這種文法消除了遞歸（消除了歧義，類似於後綴表達式），使計算機可以一條直線走到底兒推導出結果。
我也很久沒看編譯原理了。 呵呵
⑶ 【編譯原理】第二章：語言和文法
上述文法 表示，該文法由終結符集合 ，非終結符集合 ，產生式集合 ，以及開始符號 構成。
而產生式 表示，一個表達式（Expression） ，可以由一個標識符（Identifier） 、或者兩個表達式由加號 或乘號 連接、或者另一個表達式用括弧包裹（ ）構成。
約定 ：在不引起歧義的情況下，可以只寫產生式。如以上文法可以簡寫為：
產生式
可以簡寫為：
如上例中，
可以簡寫為：
給定文法 ，如果有 ，那麼可以將符號串 重寫 為 ，記作 ，這個過程稱為 推導 。
如上例中， 可以推導出 或 或 等等。
如果 ，
可以記作 ，則稱為 經過n步推導出 ，記作 。
推導的反過程稱為 歸約 。
如果 ，則稱 是 的一個 句型（sentential form ）。
由文法 的開始符號 推導出的所有句子構成的集合稱為 文法G生成的語言 ，記作 。
即：
例
文法
表示什麼呢？
代表小寫字母；
代表數字；
表示若干個字母和數字構成的字元串；
說明 是一個字母、或者是字母開頭的字元串。
那麼這個文法表示的即是，以字母開頭的、非空的字元串，即標識符的構成方式。
並、連接、冪、克林閉包、正閉包。
如上例表示為：
中必須包含一個 非終結符 。
產生式一般形式：
即上式中只有當上下文滿足 與 時，才能進行從 到 的推導。
上下文有關文法不包含空產生式（ ）。
產生式的一般形式：
即產生式左邊都是非終結符。
右線性文法 ：
左線性文法 ：
以上都成為正則文法。
即產生式的右側只能有一個終結符，且所有終結符只能在同一側。
例：（右線性文法）
以上文法滿足右線性文法。
以上文法生成一個以字母開頭的字母數字串（標識符）。
以上文法等價於 上下文無關文法 ：
正則文法能描述程序設計語言中的多數單詞。
正則文法能描述程序設計語言中的多數單詞，但不能表示句子構造，所以用到最多的是CFG。
根節點 表示文法開始符號S；
內部節點 表示對產生式 的應用；該節點的標號是產生式左部，子節點從左到右表示了產生式的右部；
葉節點 （又稱邊緣）既可以是非終結符也可以是終結符。
給定一個句型，其分析樹的每一棵子樹的邊緣稱為該句型的一個 短語 。
如果子樹高度為2，那麼這棵子樹的邊緣稱為該句型的一個 直接短語 。
直接短語一定是某產生式的右部，但反之不一定。
如果一個文法可以為某個句子生成 多棵分析樹 ，則稱這個文法是 二義性的 。
二義性原因：多個if只有一個else；
消岐規則：每個else只與最近的if匹配。
⑷ 編譯原理學習ing（1）詞法分析——符號和文法
學習編譯原理，首先要理解詞法分析的基礎概念。它涉及字母表中的符號，如字元、字元串和字元運算（如空串、連接、冪運算、乘積以及閉包）。文法是核心，它由兩個非交集的集合——終結符集和非終結符集——以及消配則映射規則組成，規則通過開始符號（來自非終結符集）生成字元串。
文法通常用G(Vn, Vt, P, S)表示，其中Vn和Vt分別代表非終結符集和終結符集，P是產生式集，S是開始符號。例如，一個簡單的文法可以表示為A-≥a，這意味著A可以推導為字元a。在文法G的作用下，通過規則推導形成句型，最終得到終結符串——句子，即語言L(G)。文法的等價性意味著不同的文法可能產生相同的語言。
對於文法的分類，上下文無關文法（2型文法）和語法樹是關鍵概念。語法樹通過標記和規則描述推導過程，但可能存在二義性，即同一種文法可以產生不同語法樹。短語、直接短語和句柄的概念在句型分析中至關重要，用於確認句子是否符合文法。
在詞法分析中，通過正則表達式或正規式（正規賣或集）分析輸入，將字元轉化為tokens，這是程序識別和處理語言的第一步。確定有限自動機（DFA）和非確定有限自動機（NFA）是自動化識別過程的基礎，它們以不同的規則描述輸入字元的接受方式。NFA與DFA雖然有區別，但它們在識別能力上是等價的，拿棚任何NFA都可以轉換為等價的DFA。
⑸ 編譯原理中的語法和文法一樣嗎
編譯原理中的語法和文法是不一樣的，但卻融會貫通。
在計算機科學中，文法是編譯原理的基礎，是描述一門程序設計語言和實現其編譯器的方法。
文法分成四種類型，即0型、1型、2型和3型。這幾類文法的差別在於對產生式施加不同的限制。
形式語言，這種理論對計算機科學有著深刻的影響，特別是對程序設計語言的設計、編譯方法和計算復雜性等方面更有重大的作用。
多數程序設計語言的單詞的語法都能用正規文法或3型文法（3型文法G=(VN，VT，P，S)的P中的規則有兩種形式：一種是前面定義的形式，即：A→aB或A→a其中A，B∈VN ，a∈VT*，另一種形式是：A→Ba或A→a，前者稱為右線性文法，後者稱為左線性文法。正規文法所描述的是VT*上的正規集）來描述。
四個文法類的定義是逐漸增加限制的，因此每一種正規文法都是上下文無關的，每一種上下文無關文法都是上下文有關的，而每一種上下文有關文法都是0型文法。稱0型文法產生的語言為0型語言。上下文有關文法、上下文無關文法和正規文法產生的語言分別稱為上下文有關語言、上下文無關語言和正規語言。
⑹ 求解編譯原理的一道題:設有文法如下
首先要做這題你要知道判別文法類型
包括四個層次：
0-型文法（無限制文法或短語結構文法）包括所有的文法。該類型的文法能夠產生所有可被圖靈機識別的語言。可被圖靈機識別的語言是指能夠使圖靈機停機的字串，這類語言又被稱為遞歸可枚舉語言。注意遞歸可枚舉語言與遞歸語言的區別，後者是前者的一個真子集，是能夠被一個總停機的圖靈機判定的語言。
1-型文法（上下文相關文法）生成上下文相關語言。這種文法的產生式規則取如 αAβ -> αγβ 一樣的形式。這里的A 是非終結符號，而 α, β 和 γ 是包含非終結符號與終結符號的字串；α, β 可以是空串，但 γ 必須不能是空串；這種文法也可以包含規則 S->ε ，但此時文法的任何產生式規則都不能在右側包含 S 。這種文法規定的語言可以被線性有界非確定圖靈機接受。
2-型文法生成上下文無關語言。這種文法的產生式規則取如 A -> γ 一樣的形式。這里的A 是非終結符號，γ 是包含非終結符號與終結符號的字串。這種文法規定的語言可以被非確定下推自動機接受。上下文無關語言為大多數程序設計語言的語法提供了理論基礎。
3-型文法（正規文法）生成正規語言。這種文法要求產生式的左側只能包含一個非終結符號，產生式的右側只能是空串、一個終結符號或者一個非終結符號後隨一個終結符號；如果所有產生式的右側都不含初始符號 S ，規則 S -> ε 也允許出現。這種文法規定的語言可以被有限狀態自動機接受，也可以通過正則表達式來獲得。正規語言通常用來定義檢索模式或者程序設計語言中的詞法結構。
正規語言類包含於上下文無關語言類，上下文無關語言類包含於上下文相關語言類，上下文相關語言類包含於遞歸可枚舉語言類。這里的包含都是集合的真包含關系，也就是說：存在遞歸可枚舉語言不屬於上下文相關語言類，存在上下文相關語言不屬於上下文無關語言類，存在上下文無關語言不屬於正規語言類。
1）本題應該是--上下文無關文法
句子是產生式在推導時「僅僅有終結符」的任何一步
2）%mm%nn 是一個句子
由於下面一題的圖我等級不夠 不能貼圖 發你郵箱
⑺ 編譯原理中文法描述的特點
其外A戰B皆長短終解符，a是末結符，則G是3型文法或者正軌文法。
少數程序設計語言的雙詞的語法都能用正規文法或3型文法來描寫。
3型文法G=(VN。
先者稱為右線性白法。正軌文法所描寫的非VT*下的反規散。
四個文法類的定義是逐步增添限造的。
⑻ 編譯原理-文法定義
文法定義公式如下:
Chomsky 文法分類將文法分為四種，0型文法( PSG )、1型文法( CSG )、2型文法( CFG )和3型文法( RG )。
又被稱為無限制文法(Unrestricted Grammar), 或者短語結構文法（Phrase Structure Grammar）
定義: 對於產生式 α→β ， α 至少包含一個非終結符。
為什麼要叫無限制文法，明明它要求產生式的左部必須包含一個非終結符。
又被稱為上下文有關文法(Context-Sensitive Grammar)
定義：對於產生式 α→β , |α| <= |β| , 僅僅 S→ε 除外
為什麼叫做上下文有關文法？
一般情況下，這種產生式的形式為 α1Aα2→α1βα2
又被稱為上下文無關文法(Context-Free Grammar)
定義：對任一產生式 α→β ，都有 α∈VN，β∈(VN∪VT)*
為什麼叫上下文無關文法？
又被稱為正則文法（Regular Grammar，RG），分為右線性（Right Linear）文法和左線性（Left Linear）文法。
定義: 對任一產生式 α→β ，都有 α∈VN，β最多兩個字元元素，如果有二個字元必須是（終結符+非終結符）的格式，如果是一個字元，那麼必須是終結符。
根據產生式右部非終結符位置不同，分為右線性文法和左線性文法。
可以看出，不同文法就是對產生式進行逐層的限制，所以各個文法是包含關系，即0型文法包含1型文法；1型文法又包含2型文法；2型文法最後包含3型文法。