編譯原理3型語言是什麼

『壹』 編譯原理的發展歷程

在20世紀40年代，由於馮·諾伊曼在存儲-程序計算機方面的先鋒作用，編寫一串代碼或程序已成必要，這樣計算機就可以執行所需的計算。開始時，這些程序都是用機器語言 （machine language ）編寫的。機器語言就是表示機器實際操作的數字代碼，例如：
C7 06 0000 0002 表示在IBM PC 上使用的Intel 8x86處理器將數字2移至地址0 0 0 0 （16進制）的指令。
但編寫這樣的代碼是十分費時和乏味的，這種代碼形式很快就被匯編語言（assembly language ）代替了。在匯編語言中，都是以符號形式給出指令和存儲地址的。例如，匯編語言指令 MOV X,2 就與前面的機器指令等價（假設符號存儲地址X是0 0 0 0 ）。匯編程序（assembler ）將匯編語言的符號代碼和存儲地址翻譯成與機器語言相對應的數字代碼。
匯編語言大大提高了編程的速度和准確度，人們至今仍在使用著它，在編碼需要極快的速度和極高的簡潔程度時尤為如此。但是，匯編語言也有許多缺點：編寫起來也不容易，閱讀和理解很難；而且匯編語言的編寫嚴格依賴於特定的機器，所以為一台計算機編寫的代碼在應用於另一台計算機時必須完全重寫。
發展編程技術的下一個重要步驟就是以一個更類似於數學定義或自然語言的簡潔形式來編寫程序的操作，它應與任何機器都無關，而且也可由一個程序翻譯為可執行的代碼。例如，前面的匯編語言代碼可以寫成一個簡潔的與機器無關的形式 x = 2。
在1954年至1957年期間，IBM的John Backus帶領的一個研究小組對FORTRAN語言及其編譯器的開發，使得上面的擔憂不必要了。但是，由於當時處理中所涉及到的大多數程序設計語言的翻譯並不為人所掌握，所以這個項目的成功也伴隨著巨大的辛勞。幾乎與此同時，人們也在開發著第一個編譯器， Noam Chomsky開始了他的自然語言結構的研究。他的發現最終使得編譯器結構異常簡單，甚至還帶有了一些自動化。Chomsky的研究導致了根據語言文法（grammar ，指定其結構的規則）的難易程度以及識別它們所需的演算法來為語言分類。正如現在所稱的-與喬姆斯基分類結構（Chomsky hierarchy ）一樣-包括了文法的4個層次：0型、1型、2型和3型文法，且其中的每一個都是其前者的專門化。2型（或上下文無關文法（context-free grammar ））被證明是程序設計語言中最有用的，而且今天它已代表著程序設計語言結構的標准方式。
分析問題（ parsing problem ，用於限定上下文無關語言的識別的有效演算法）的研究是在20世紀60年代和70年代，它相當完善地解決了這一問題， 現在它已是編譯理論的一個標准部分。它們與喬姆斯基的3型文法相對應。對它們的研究與喬姆斯基的研究幾乎同時開始，並且引出了表示程序設計語言的單詞（或稱為記號）的符號方式。
人們接著又深化了生成有效的目標代碼的方法，這就是最初的編譯器，它們被一直使用至今。人們通常將其誤稱為優化技術（optimization technique ），但因其從未真正地得到過被優化了的目標代碼而僅僅改進了它的有效性，因此實際上應稱作代碼改進技術（code improvement technique ）。
這些程序最初被稱為編譯程序-編譯器，但更確切地應稱為分析程序生成器 （parser generator ），這是因為它們僅僅能夠自動處理編譯的一部分。這些程序中最著名的是 Yacc （yet another compiler- compiler），它是由Steve Johnson在1975年為Unix系統編寫的。
類似地，有窮自動機的研究也發展了另一種稱為掃描程序生成器 （scanner generator ）的工具，Lex （與Yacc同時，由Mike Lesk為Unix系統開發的）是這其中的佼佼者。在20世紀70年代後期和80年代早期，大量的項目都關注於編譯器其他部分的生成自動化，這其中就包括代碼生成。這些嘗試並未取得多少成功，這大概是因為操作太復雜而人們又對其不甚了解。
編譯器設計最近的發展包括：首先，編譯器包括了更為復雜的演算法的應用程序，它用於推斷或簡化程序中的信息；這又與更為復雜的程序設計語言（可允許此類分析）的發展結合在一起。其中典型的有用於函數語言編譯的Hindle y - Milner類型檢查的統一演算法。
其次，編譯器已越來越成為基於窗口的交互開發環境（interactive development environment，IDE ）的一部 分，它包括了編輯器、鏈接程序、調試程序以及項目管理程序。這樣的IDE的標准並沒有多少， 但是已沿著這一方向對標準的窗口環境進行開發了。

『貳』 什麼是編譯原理

問題一：什麼是編譯原理 編譯：就是將程序語言進行翻譯，生成可供用戶直接執行的二進制代碼，即可執行文件。
任務是個比較模糊的概念，指的是操作系統中正在進行的工作，既可以指進程，也可以指程序春坦灶。
程序指的是可以連續執行，並能夠完成一定任務的一條條指令的 *** 。
進程是程序在一個數據 *** 上運行的過程,它是傳統操作系統進行資源分配和調度的一個獨立單位。
線程是一個指令執行序列，是操作系統調度的最小單位。一個或多個線程構成進程，構成一個進激的線程之間共享資源。進程和線程之間的最大區別就是線程不能獨立擁有資源，進程擁有自己的資源。

問題二：編譯原理中V*是什麼意思 V是一個符號 *** ，假設V指的是三個符號a, b, c的 *** ，記為 V = {a, b, c }
V* 讀作「V的閉包」，它的數學定義是V自身的任意多次自身連接（乘法）運算的積，也是一個 *** 。
也就是說，用V中的任意符號進行意多次（包括0次）連接，得到的符號串，都是V*這個 *** 中的元素。
0次連接的結果是不含任何符號的空串，記為 ε
1次連接就是只有一個符號的符號串，比如，a，b， c
2次連接是兩個符號構成的符號串，比如，aa, ab, ac, ba, bb, bc,等等
……
n次連接是一個長度為n、由a、b、c三個符號構成的符號串，比如abaacbbac……
因此，V*包含一切由a,b,c三個符號連接而成的、任意長度的符號串（以及空串ε）

問題三：編譯原理 V+什麼意思，例如下面的例子。。。 v表示終結符和非終結符 *** 。
+表示 *** 中的一個或多個元素構成的串的 *** 。
所以v+表示由一個或多個終結符或非終結符構成的串的 *** 。比如如果a∈VT，A∈VN，那麼a，A，aA，Aa，aAA，AaA等都是v+中的元素。

問題四：誰能夠解釋下編譯原理中什麼是FIRSTVT,和LASTVT，盡量淺顯易懂點謝謝 Firstvt和Lastvt是為了畫算符優先關系表的（就是表裡面填優先大於小於等於的那個）。
然後要注意他們可都是終結符的 *** 。
Firstvt
找Firstvt的三條規則：如果要找A的Firstvt，A的候選式中出現：
A->a.......，即以終結符開頭，該終結符入Firstvt
A->B.......，即以非終結符開頭，該非終結符的Firstvt入A的Firstvt
攻 A->Ba.....，即先以非終結符開頭，緊跟終結符，則終結符入Firstvt
Lastvt
找Lastvt的三條規則：如果要找A的Lastvt，A的候選式中出現：
A->.......a，即以終結符結尾，該終結符入Lastvt
A->.......B，即以非終結符結尾，該非終結符的Lastvt入A的Lastvt
A->.....aB，即先以非終結符結尾，前面是終結符，則終結符入Firstvt

問題五：編譯原理 什麼是語義分析 在編譯原理中，語法規則和詞法規則不同之處在於：規則主要識別單詞,而語法主要識別多個單片語成的句子。詞法分析信孝和詞法分析程序：詞法分析階段是編譯過程的第一個階段。這個階段的任務是從左到右一個字元一個字元地讀入源程序，即對構成源程序的字元流進行掃描然後根據構詞規則識別單詞(也稱單詞符號或符號)。詞法分析程序實現這個任務。詞法分析程序可以使用lex等工具自動生成。語法分析（Syntax *** ysis或Parsing）和語法分析程序（Parser） 語法分析是編譯過程的一個邏輯階段。語法分析的任務是在詞法分析的基礎上將單詞序列組合成各類語法短語，如「程序」，「語句」，「表達式」等等.語法分扒扮析程序判斷源程序在結構上是否正確.源程序的結構由上下文無關文法描述.語義分析（Syntax *** ysis） 語義分析是編譯過程的一個邏輯階段. 語義分析的任務是對結構上正確的源程序進行上下文有關性質的審查, 進行類型審查.語義分析將審查類型並報告錯誤:不能在表達式中使用一個數組變數,賦值語句的右端和左端的類型不匹配.

問題六：編譯原理中，（E）是什麼意思？ E→(E)? 10分 就是 字元本身 意思是F產生（ E ） 或者 i 比如If語句的開頭 就是 帶括弧的 必須是 if(表達式)這樣的形式 丟了任何即括弧就是其 終結符 「(」 和 「)」.

問題七：大家覺得對編譯器及編譯原理需要掌握到一個什麼程度 我跟你說，編譯原理太有用了。
我是做手機游戲的，現在做一個游戲引擎。既然是引擎，就需要提供抽象的東西給上層使用。這里，我引入了腳本系統。
這個腳本系統包括一堆我根據實際需求自行設計的指令集，包括基本的輸入輸出，四則運算，系統功能調用，函數聲明，調用等等（其實你要是用過lua或者其他游戲腳本你就知道了。）整個結構包括指令集、編譯器、虛擬機等部分。這樣，引擎提供一些基礎服務，比如繪圖，計算位置等，腳本就可以非常簡單控制游戲。甚至快速構建新游戲。你應該知道QUAKE引擎吧？
這里提供給你一個計算器的小程序，應用了EBNF理論，支持表達式，比如(2+3*6)*4+4，你自己體驗一下它的簡潔和強大。
/*
simple integer arithmetic calculator according to the EBNF
-> {}
->+|-
->{}
-> *
-> ( )| Number
Input a line of text from stdin
Outputs Error or the result.
*/
#include
#include
#include
char token;/*global token variable*/
/*function prototypes for recursive calls*/
int exp(void);
int term(void);
int factor(void);
void error(void)
{
fprintf(stderr,Error\n);
exit(1);
}
void match(char expectedToken)
{
if(token==expectedToken)token=getchar();
else error();
}
main()
{
int result;
token = getchar();/*load token with first character for lookahead*/
result = exp();
if(token=='\n')/*check for end of line */
printf(Result = %d\n,result);
else error();/*extraneous cahrs on line*/
return 0;
}
int exp(void)
{
int temp = term();
while((token=='+')||(token=='-'))
switch(token)
{
case '+':
match('+');
temp+=term......>>

問題八：編譯原理中,自動機究竟是什麼. 形式語言
形式語言 是一個字母表上的某些有限長字串的 *** 。一個形式語言可以包含無限多個字串。
語言的形式定義
字母表 ∑ 為任意有限 *** ，ε 表示空串， 記 ∑ 0 為{ε}，全體長度為 n 的字串為 ∑ n ， ∑ * 為 ∑ 0 ∪∑ 1 ∪…∪∑ n ∪…， 語言 L 定義為 ∑ * 的任意子集。
注記：∑ * 的空子集 Φ 與 {ε} 是兩個不同的語言。
語言間的運算
語言間的運算就是 ∑ * 冪集上的運算。
字串 *** 的交並補等運算。
連接運算：L 1 L 2 = { xy | x 屬於L 1 並且 y 屬於L 2 }。
冪運算：L n = L … L （共 n 個 L 連接在一起），L 0 = {ε}。
閉包運算：L * = L 0 ∪L 1 ∪…∪L n ∪…。
（右）商運算：L 1 /L 2 = {x | 存在 y 屬於L 2 使得 xy 屬於L 1 }。
語言的表示方法
一個形式語言可以通過多種方法來限定自身，比如：
枚舉出各個字串（只適用於有限字串 *** ）。
通過 形式文法 來產生（參見 喬姆斯基譜系 ）。
通過正則表達式來產生。
通過某種自動機來識別，比如 圖靈機 、 有限狀態自動機 。
自動機
automata
對信號序列進行邏輯處理的裝置。在自動控制領域內，是指離散數字系統的動態數學模型，可定義為一種邏輯結構，一種演算法或一種符號串變換。自動機這一術語也廣泛出現在許多其他相關的學科中，分別有不同的內容和研究目標。在計算機科學中自動機用作計算機和計算過程的動態數學模型，用來研究計算機的體系結構、邏輯操作、程序設計乃至計算復雜性理論。在語言學中則把自動機作為語言識別器，用來研究各種形式語言。在神經生理學中把自動機定義為神經網路的動態模型，用來研究神經生理活動和思維規律，探索人腦的機制。在生物學中有人把自動機作為生命體的生長發育模型，研究新陳代謝和遺傳變異。在數學中則用自動機定義可計算函數，研究各種演算法。現代自動機的一個重要特點是能與外界交換信息，並根據交換得來的信息改變自己的動作，即改變自己的功能，甚至改變自己的結構，以適應外界的變化。也就是說在一定程度上具有類似於生命有機體那樣的適應環境變化的能力。
自動機與一般機器的重要區別在於自動機具有固定的內在狀態，即具有記憶能力和識別判斷能力或決策能力，這正是現代信息處理系統的共同特點。因此，自動機適宜於作為信息處理系統乃至一切信息系統的數學模型。自動機可按其變數集和函數的特性分類，也可按其抽象結構和聯結方式分類。主要有：有限自動機和無限自動機、線性自動機和非線性自動機、確定型自動機和不確定型自動機、同步自動機和非同步自動機、級聯自動機和細胞自動機等。
這可能有你想要的答案
./question/7218281?fr=qrl3

問題九：編譯原理中"(E)"表示什麼 字元( 表達式 字元)

『叄』 求解編譯原理的一道題:設有文法如下

首先要做這題你要知道判別文法類型
包括四個層次：

0-型文法（無限制文法或短語結構文法）包括所有的文法。該類型的文法能夠產生所有可被圖靈機識別的語言。可被圖靈機識別的語言是指能夠使圖靈機停機的字串，這類語言又被稱為遞歸可枚舉語言。注意遞歸可枚舉語言與遞歸語言的區別，後者是前者的一個真子集，是能夠被一個總停機的圖靈機判定的語言。
1-型文法（上下文相關文法）生成上下文相關語言。這種文法的產生式規則取如 αAβ -> αγβ 一樣的形式。這里的A 是非終結符號，而 α, β 和 γ 是包含非終結符號與終結符號的字串；α, β 可以是空串，但 γ 必須不能是空串；這種文法也可以包含規則 S->ε ，但此時文法的任何產生式規則都不能在右側包含 S 。這種文法規定的語言可以被線性有界非確定圖靈機接受。
2-型文法生成上下文無關語言。這種文法的產生式規則取如 A -> γ 一樣的形式。這里的A 是非終結符號，γ 是包含非終結符號與終結符號的字串。這種文法規定的語言可以被非確定下推自動機接受。上下文無關語言為大多數程序設計語言的語法提供了理論基礎。
3-型文法（正規文法）生成正規語言。這種文法要求產生式的左側只能包含一個非終結符號，產生式的右側只能是空串、一個終結符號或者一個非終結符號後隨一個終結符號；如果所有產生式的右側都不含初始符號 S ，規則 S -> ε 也允許出現。這種文法規定的語言可以被有限狀態自動機接受，也可以通過正則表達式來獲得。正規語言通常用來定義檢索模式或者程序設計語言中的詞法結構。
正規語言類包含於上下文無關語言類，上下文無關語言類包含於上下文相關語言類，上下文相關語言類包含於遞歸可枚舉語言類。這里的包含都是集合的真包含關系，也就是說：存在遞歸可枚舉語言不屬於上下文相關語言類，存在上下文相關語言不屬於上下文無關語言類，存在上下文無關語言不屬於正規語言類。

1）本題應該是--上下文無關文法

句子是產生式在推導時「僅僅有終結符」的任何一步
2）%mm%nn 是一個句子

由於下面一題的圖我等級不夠 不能貼圖 發你郵箱

『肆』 編譯原理里，什麼是源語言，什麼是目標語言，什麼是翻譯器，什麼是編譯器，什麼是解釋器，什麼是T形圖

在vc 將c/c++代碼翻譯成asm文件的過程中
c/c++ 是源語言 asm是目標語言 vc是翻譯器
vc將asm在編譯成 obj文件 最後於庫文件鏈接成 二進制文件 vc就是編譯器

java中 需要跑一個 java虛擬機 比如 sun的 java.exe java.exe就是解釋器
c語言 a機器 c語言 b機器 C語言 b機器
a機器 c語言 a機器
圖a 圖b 圖c
在上圖中，圖(a)為已有的編譯程序，圖(c)為需要得到的編譯程序，圖(b)為需要書寫的編譯程序，只要我們把(b)在(a)上編譯就可得到(c)
打個比方
編譯器a是已有的在intel主機上將c語言翻譯成可在intel主機上運行的編譯器 我們希望得到在intel機器上運行的將c語言翻譯成可在蘋果主機上運行的編譯器c 那麼我們只需要用c語言寫一個將c語言翻譯成可在蘋果主機上運行的編譯器b， 在編譯器a上編譯c語言寫的編譯器b 就可以得到編譯器c

『伍』 解釋型語言和編譯型語言的區別是什麼

一、編譯型

編譯型語言：編譯型語言在執行之前要先經過編譯過程，編譯成為一個可執行的機器語言的文件，比如exe。因為翻譯只做一遍，以後都不需要翻譯，所以執行效率高。

編譯型語言的典型代表：C語言，C++。

編譯型語言的優缺點：執行效率高，缺點是跨平台能力弱，不便調試。

二、解釋型

解釋型語言：解釋性語言編寫的程序不進行預先編譯，以文本方式存儲程序代碼。執行時才翻譯執行。程序每執行一次就要翻譯一遍。

代表語言：python，JavaScript。

優缺點：跨平台能力強，易於調，執行速度慢。

編譯型與解釋型，兩者各有利弊

前者由於程序執行速度快，同等條件下對系統要求較低，因此像開發操作系統、大型應用程序、資料庫系統等時都採用它，像C/C++、Pascal/Object Pascal（Delphi）等都是編譯語言。

而一些網頁腳本、伺服器腳本及輔助開發介面這樣的對速度要求不高、對不同系統平台間的兼容性有一定要求的程序則通常使用解釋性語言，如Java、JavaScript、VBScript、Perl、Python、Ruby、MATLAB等等。

『陸』 求編譯原理的名詞解釋題

詞法分析（Lexical analysis或Scanning）和詞法分析程序（Lexical analyzer或Scanner）
詞法分析階段是編譯過程的第一個階段。這個階段的任務是從左到右一個字元一個字元地讀入源程序，即對構成源程序的字元流進行掃描然後根據構詞規則識別單詞(也稱單詞符號或符號)。詞法分析程序實現這個任務。詞法分析程序可以使用lex等工具自動生成。

語法分析（Syntax analysis或Parsing）和語法分析程序（Parser）
語法分析是編譯過程的一個邏輯階段。語法分析的任務是在詞法分析的基礎上將單詞序列組合成各類語法短語，如「程序」，「語句」，「表達式」等等.語法分析程序判斷源程序在結構上是否正確.源程序的結構由上下文無關文法描述.

語義分析（Syntax analysis）
語義分析是編譯過程的一個邏輯階段. 語義分析的任務是對結構上正確的源程序進行上下文有關性質的審查, 進行類型審查.例如一個C程序片斷:
int arr[2],b;
b = arr * 10;
源程序的結構是正確的.
語義分析將審查類型並報告錯誤:不能在表達式中使用一個數組變數,賦值語句的右端和左端的類型不匹配.

Lex
一個詞法分析程序的自動生成工具。它輸入描述構詞規則的一系列正規式,然後構建有窮自動機和這個有窮自動機的一個驅動程序,進而生成一個詞法分析程序.

Yacc
一個語法分析程序的自動生成工具。它接受語言的文法,構造一個LALR(1)分析程序.因為它採用語法制導翻譯的思想,還可以接受用C語言描述的語義動作,從而構造一個編譯程序. Yacc 是 Yet another compiler compiler的縮寫.[回頁首]

源語言（Source language）和源程序（Source program）
被編譯程序翻譯的程序稱為源程序,書寫該程序的語言稱為源語言.[回頁首]

目標語言（Object language or Target language）和目標程序（Object program or Target program）
編譯程序翻譯源程序而得到的結果程序稱為目標程序, 書寫該程序的語言稱為目標語言.[回頁首]

中間語言（中間表示）（Intermediate language(representation)）
在進行了語法分析和語義分析階段的工作之後，有的編譯程序將源程序變成一種內部表示形式，這種內部表示形式叫做中間語言或中間表示或中間代碼。所謂「中間代碼」是一種結構簡單、含義明確的記號系統，這種記號系統復雜性介於源程序語言和機器語言之間，容易將它翻譯成目標代碼。另外，還可以在中間代碼一級進行與機器無關的優化。

[回頁首]

文法（Grammars）
文法是用於描述語言的語法結構的形式規則。文法G定義為四元組(，，，)。其中為非終結符號(或語法實體，或變數)集；為終結符號集；為產生式(也稱規則)的集合；產生式(規則)是形如或 a ::=b 的(a , b)有序對,其中(∪)且至少含有一個非終結符，而(∪)。，和是非空有窮集。稱作識別符號或開始符號，它是一個非終結符，至少要在一條規則中作為左部出現。
一個文法的例子: G=(={A，R},={0,1} ，={A?0R，A?01,R?A1},=A) [回頁首]
文法分類（A hierarchy of Grammars）
著名語言學家Noam Chomsky定義了四類文法和四種形式語言類，文法的四種類型分別是0型、1型、2型和3型。幾類文法的差別在於對產生式施加不同的限制，分別是：
0型文法(短語結構文法)(phrase structure grammars)：
設G=(，，，)，如果它的每個產生式是這樣一種結構： (∪) 且至少含有一個非終結符，而(∪)，則G是一個0型文法。
1型文法（上下文有關文法）(context-sensitive grammars)：
設G=(，，，)為一文法，若中的每一個產生式均滿足|，僅僅 除外，則文法G是1型或上下文有關的。
2型文法（上下文無關文法）(context-free grammars)：
設G=(，，，)，若P中的每一個產生式滿足：是一非終結符，(∪) 則此文法稱為2型的或上下文無關的。
3型文法（正規文法）(regular grammars)：
設G=(，，，)，若中的每一個產生式的形式都是A→aB或A→a，其中A和B都是非終結，a是終結符，則G是3型文法或正規文法。
0型文法產生的語言稱為0型語言。
1型文法產生的語言稱為1型語言，也稱作上下文有關語言。
2型文法產生的語言稱為2型語言，也稱作上下文無關語言。
3型文法產生的語言稱為3型語言，也稱作正規語言。

『柒』 四種文法的類型(編譯原理)

喬姆斯基（Chomsky）按產生式的類型把文法分為四種類型：0、1、2、3型文法。

*在下文中的產生式中，箭頭左邊的大寫字母為嚴格的非終結符，而其左邊的小寫字母不嚴格要求為非終結符，如[0型文法]中的第2條產生式。

【0型文法】

產生式形式：α→β

要求：箭頭左邊的α 至少 含有 一個非終結符 ， 其餘 不加任何限制

    例如，G：C→AaB

                     aA→a

                     B→b|Bb

【1型文法】

產生式形式：α→β

要求： |α|≤|β| (產生式左端的長度<=右端的長度)，S→ε除外。

例如G： C→aAB

               aA→aBa

               B→b|Bb 

【2型文法】(上下文無關文法)

產生式形式：A→β，A∈VN(終結符) ，β∈V *(VN∪VT，即可為終結符也可為非終結符) 

說明：當以β替換A時，與A的上下文環境無關；

          大部分程序設計語言近似於2型文法。

【3型文法】(正規文法 / 右線性文法)

產生式形式：A→a，A→aB，

說明：a∈VT(終結符) ，  A，B∈VN(非終結符)，即產生式右端的第一個符號必須為 終結符

例如 G：A→aB

              B→b|bB

【其他說明】對於這四種類型的文法：

*包含關系：0 > 1 > 2 > 3 (以'>'代替包含符，'A>B'譯為A包含B)

*嚴格程度：3 > 2 > 1 > 0

*判斷文法所屬類型的順序：3 → 2 → 1 → 0

『捌』 編譯原理中的一概念：什麼是左線性正規文法

正規文法是左線性文法和右線性文法的統稱.它們都是Chomsky分類下的3型文法.由正規文法產生的語言稱為正規集.下面我們將會看到,這里之所以用「正規」二字為一種語言命名,是因為這種語言的結構可以用所謂正規式來描述.
1．右線性文法
設G[S]=(VN,VT,P,S)為CFG,若P中的產生或均有如下的形式：
A→aB或A→a（A∈VN,a∈VT）
則稱G為右線性文法.例如,文法
G1[S]=({S,A,B},{a,b},P1,S)
其中
P1={S→aA,A→aA,A→bB,A→b,B→bB,B→b}
為一右線性文法,G1所產生的正規集為
L(G1)={aibj |i,j≥1}
2．左線性文法
若一個文法G[S]=(VN,VT,P,S)中的產生式均有如下的形式：
A→Ba或A→a（A,B∈VN,a∈VT）
則稱G為左線性文法.例如,文法
G2[S]=({S,A},{a,b},P2,S)
其中
P2={S→Sb,S→Ab,A→Aa,A→a}
為一左線性文法,且有
L(G2)=L(G1)={aibj |i,j≥1}
請注意,雖然文法
G3[S]=({S,A,B},{a,b},P3,S)
其中
P3={S→aA,A→aA,A→Bb,A→b,B→Bb,B→b}
也同樣產生語言{aibj |i,j≥1},但由於G3中同時含有左線性產生式和右線性產生式,故G3不是正規文法.
另外
P4={S-->aA,A-->ab},
也不是正規文法

『玖』 編譯原理中的語法和文法一樣嗎

編譯原理中的語法和文法是不一樣的，但卻融會貫通。
在計算機科學中，文法是編譯原理的基礎，是描述一門程序設計語言和實現其編譯器的方法。
文法分成四種類型，即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型語言。上下文有關文法、上下文無關文法和正規文法產生的語言分別稱為上下文有關語言、上下文無關語言和正規語言。