同步上下文無關文法(synchronous context free grammars)是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名:同步上下文無關文法
- 外文名:synchronous context free grammars
- 所屬學科:計算機科學技術
- 公布時間:2018年
同步上下文無關文法(synchronous context free grammars)是2018年公布的計算機科學技術名詞。
同步上下文無關文法(synchronous context free grammars)是2018年公布的計算機科學技術名詞。定義由兩部上下文無關文法組成,兩部文法的規則及文法符號間建有對應關係,在推導時,兩部文法依據他...
上下文無關文法(英語:context-free grammar,縮寫為CFG),在計算機科學中,若一個形式文法G = (N, Σ, P, S) 的產生式規則都取如下的形式:V->w,則謂之。其中 V∈N ,w∈(N∪Σ)* 。上下文無關文法取名為“上下文無關...
上下文無關語言是可以用上下文無關文法定義的形式語言。所有上下文無關語言的集契約一於下推自動機所接受的語言的集合。例子 一個原型上下文無關語言是 ,它是所有非空、偶數長度字元串的語言,字元串的整個前半部分都是a,整個後半...
程式語言大部分是上下文無關語言,查詢語言通常也是上下文無關語言。英語也可以看成是上下文無關語言。這些語言中的字元串需要用編譯器、查詢引擎和各種其他應用程式分析與解釋。因此我們需要一個算法,給定上下文無關文法G,完成下列工作:1...
上下文無關文法 在計算機科學中,形式語言是:某個字母表上,一些有限長字串的集合,而形式文法是描述這個集合的一種方法。形式文法之所以這樣命名,是因為它與人類自然語言中的文法相似的緣故。形式文法描述形式語言的基本想法是,從一個...
喬姆斯基文法系統 喬姆斯基文法系統(Chomsky grammar sys-terns)一類文法系統的總稱.簡稱喬姆斯基文法.它包括短語結構文法、上下文相關文法、上下文無關文法和正規文法四種(參見“喬姆斯基分層”).
樹-鄰接文法 樹-鄰接文法(TAG)是Aravind Joshi定義的文法形式化。樹-鄰接(adjoining)文法在某種意義上類似於上下文無關文法,但是基本的重寫單位是樹而不是符號。上下文無關文法有把符號重寫為其他符號的規則,而樹-毗連文法有把樹的...
轉移網路語法也稱擴充轉移網路(Augmented Transition Network,簡稱ATN),就是用上下文無關文法的擴充來實現上下文相關文法,它是用一組暫存器存放語法分析信息。它每走一步都要測試一下當前情況,並根據測試結果決定做什麼動作。最後把暫存器...
語義語法(semantic grammar)是2011年公布的語言學名詞。定義 一種語言分析方法。按照具體領域中各個實體之間的關係設計語法規則,規則中包含句法成分和與句法成分相關的語義成分,規則的形式與上下文無關文法一致,用於該領域內語句的句法、...
語法分析是編譯過程的一個邏輯階段。語法分析的任務是在詞法分析的基礎上將單詞序列組合成各類語法短語,如“程式”,“語句”,“表達式”等等.語法分析程式判斷源程式在結構上是否正確.源程式的結構由上下文無關文法描述.語法分析程式可以...
* 1型文法(上下文有關文法)(context-sensitive grammars):設G =(VN,VT,P,S)為一文法,若中的每一個產生式均滿足|β|>=|α|,僅僅α→ε除外,則文法G是1型或上下文有關的。* 2型文法(上下文無關文法)(context-free...
樹到樹翻譯模型(tree-to-tree translation model)是2018年公布的計算機科學技術名詞。定義 一種統計機器翻譯模型。考慮了源語言和目標語言兩端的句法樹結構,樹到樹模型大多基於同步上下文無關文法,首先對待譯句子進行句法分析,並同步...
LR分析是當前最一般的分析方法。它對文法的限制最少,現今能用上下文無關文法描述的程式設計語言一般均可用LR方法進行有效的分析。分析法介紹 1965年,D.Knuth首先提出了LR(K)文法及LR(K)分析技術。所謂LR(K)分析,是指從左至右掃描...
PCFG(Probabilistic Context Free Grammar),機率上下文無關文法,或稱為SCFG(Stochastic Context Free Grammar),隨機上下文無關文法。定義 一個機率上下文無關文法(PCFG)是一個五元組(N,∑,S,R,P):(1)一個非終結符集N (2)...
處理中間語言的語法因問題而異,例如,從屬語法(dependancy grammars)就是在前後語無關語法(或稱上下文無關文法)每一條規則右部設定一個主導詞標記*,未標*者即為從屬於主導詞的句子成分。對每個輸入句,根據從屬語法,回響生成程式給...
形式文法之所以這樣命名,是因為它與人類自然語言中的文法相似的緣故。最常見的文法的分類系統是喬姆斯基(Chomsky N)於1950年發展的喬姆斯基譜系,這個分類譜系把所有的文法分成四種類型:短語結構文法、上下文有關文法、上下文無關文法和正規...