上下文相關文法(context-sensitive language)一種短語結構文法.是喬姆斯基(Chomsky, N.)引進的.設G=(V,T,P,s)為一個短語結構文法，若限定式中的所有產生式a->b都滿足下列條件:b的長度不小於a之長度.則稱G為上下文相關文法.由上下文相關文法產生的語言稱為上下文相關語言.上下文相關語言都是遞歸的，但反之不然.
上下文有關文法的概念是諾姆·喬姆斯基在1950年代作為描述自然語言的語法的一種方式介入的,在自然語言中一個單詞是否可以出現在特定位置上要依賴於上下文。可以被上下文...
上下文相關文法(context-sensitive language)一種短語結構文法.是喬姆斯基(Chomsky, N.)引進的.設G=(V,T,P,s)為一個短語結構文法,若限定式中的所有產生式a->...
上下文無關文法(英語:context-free grammar,縮寫為CFG),在計算機科學中,若一個形式文法G = (N, Σ, P, S) 的產生式規則都取如下的形式:V->w,則謂之。...
設G =(VN,VT,P,S)為一文法,若中的每一個產生式均滿足|β|>=|α|,僅僅α→ε除外,則文法G是1型或上下文有關的。* 2型文法(上下文無關文法)(context...
在形式文法理論中,確定上下文無關文法(DCFG)是上下文無關文法的真子集。...... 確定上下文無關文法是確定下推自動機可識別的文法。確定上下文無關語言是確定上下文...
文法語言自動機產生式規則 0-型 遞歸可枚舉語言 圖靈機 α -> β(無限制) 1-型 上下文相關語言 線性有界非確定圖靈機 αAβ -> αγβ 2-型 上下文無...
0型文法是這幾類文法中,限制最少的一個,所以我們在試題中見到的,至少是0型文法。 [1] 形式文法1型文法 編輯 1型文法也叫上下文有關文法,此文法對應於線性有...
1-型文法(上下文相關文法)生成上下文相關語言。這種文法的產生式規則取如 αAβ -> αγβ 一樣的形式。這裡的A是非終結符號,而α, β和γ 是包含非終結...
擴充轉移網路文法,即擴充轉移網路(Augmented Transition Network),簡稱ATN,是美國哈佛大學人工智慧專家伍茲(W. Woods)於1969年提出的。ATN就是用上下文無關文法的擴充...
喬姆斯基文法系統(Chomsky grammar sys-terns)一類文法系統的總稱.簡稱喬姆斯基文法.它包括短語結構文法、上下文相關文法、上下文無關文法和正規文法四種(參見“喬姆斯基...
隨機上下文無關文法(英語:Stochastic context-free grammar),即在上下文無關文法中,為每一個產生式規則賦予一個機率,標示套用一個產生式規則的可能性。...
上下文無關語言是可以用上下文無關文法定義的形式語言。所有上下文無關語言的集契約一於下推自動機所接受的語言的集合。...
二型文法,又稱上下文無關文法,擁有足夠強的表述力來表示絕大多數程式設計語言。...... 二型文法,又稱上下文無關文法,擁有足夠強的表述力來表示絕大多數程式設計語...
解析表達文法看起來與正則表達式和巴科斯範式的上下文無關文法(CFG)很像,但是表達的意思不同。和CFG不同的是,PEG不能有二義性;解析一個字元串的時候,這個字元串...
對於正則文法和某些類型的上下文無關文法,已經研究出一些文法推斷算法。但在大多數情況下,文法的構成是靠設計者的技巧,特別是當構造出來的文法產生一些應屬於其他類別...
附標文法基本信息 編輯 它們有三個無交集的符號集合: 普通終結符、非終結符和只出現在中間推導中的附標(index)的集合。產生式可以如上下文無關文法那樣把一個非...
樹-鄰接文法(TAG)是 Aravind Joshi 定義的文法形式化。樹-鄰接(adjoining)文法在某種意義上類似於上下文無關文法,但是基本的重寫單位是樹而不是符號。上下文無關...
在短語結構文法的基礎上加入每個短語和整個句子語義信息所構成的文法。1968年D.E.克努特對上下文無關語言的語義進行了形式說明。在對一個由上下文無關文法產生的句子...
1-型文法(上下文相關文法)生成上下文相關語言。這種文法的產生式規則取如 αAβ -> αγβ 一樣的形式。這裡的A 是非終結符號,而α, β和γ 是包含非終結...
從語法理論視角看,CCG是一種辭彙形式化的方法;從計算語言學視角看,CCG屬於一類適度上下文相關文法;從邏輯語義學視角看,CCG在句法與語義的接口方面非常融洽。無論是...
轉移網路語法也稱擴充轉移網路(Augmented Transition Network,簡稱ATN),就是用上下文無關文法的擴充來實現上下文相關文法,它是用一組暫存器存放語法分析信息。它每走一...
可計算枚舉語言被命名為0-型語言,上下文相關語言被命名為1-型語言,上下文無關語言被命名為2-型語言,正則語言被命名為3-型語言。低型語言不是高型的,默認情況下...
可計算枚舉語言被命名為0-型語言,上下文相關語言被命名為1-型語言,上下文無關語言被命名為2-型語言,正則語言被命名為3-型語言。低型語言不是高型的,默認情況下...
0型文法是這幾類文法中,限制最少的一個,所以我們在試題中見到的,至少是0型文法。形式語法1型文法 1型文法也叫上下文有關文法,此文法對應於線性有界自動機。它...
所有Kuroda 範式的文法都是單調的,因此生成上下文有關語言。反過來說,所有不生成空串的上下文有關語言都可以被 Kuroda 範式的文法所生成。...
自然語言語法是自然語言規律的概括和闡明,又稱文法。在自然語言處理中常用的語法...為前後語相關型或上下文相關型;2型語法和語言稱為前後語無關型或上下文無關型...
樹-鄰接文法經常被描述為“適度上下文有關的”,這意味著它們有(在弱生成能力方面上)特定性質使其有比上下文無關文法更強力,但有比附標文法或上下文有關文法更弱...