產生式語言（production language）是2011年公布的語言學名詞。
基本介紹
- 中文名：產生式語言
- 外文名：production language
- 所屬學科：語言學
- 公布時間：2011年
定義,出處,
定義
一種常用的知識表示語言。描述一個（或一些）事件的存在導致另一事件的產生。用符號方法表述如下：if A then B或A→B。其中A稱為前件，B稱為後件，→表示由A真導致B真。
出處
《語言學名詞》第一版。
產生式語言
相關詞條
- 產生式語言
產生式語言（production language）是2011年公布的語言學名詞。定義一種常用的知識表示語言。描述一個（或一些）事件的存在導致另一事件的產生。用符號方法表述如下：if A then B或A→B。其中A稱為...
- OPS5語言
OPS5是一種基於產生式系統的知識工程語言，它是Official Production System Version 5的縮寫。內容簡介 OPS5的程式包含描述程式數據目標的說明部分及包含規則的產生式部分。執行期間，程式操作的數據存放在工作存儲器中，規則存放在產生式存儲器中。工作存儲器通常在裝入說明和規則後被初始化。說明部分包含可在規則中引用...
- 產生式表示法
傳統程式設計語言中是嚴格地從一個條件語句向其下一個條件語句傳遞。基本信息 產生式是一種知識表達方法，具有和Turing機一樣的表達能力。事實與規則的表示 事實可看成是斷言一個語言變數的值或是多個語言變數間的關係的陳述句，語言變數的值或語言變數間的關係可以是一個詞。不一定是數字。如雪是白色的，其中雪是...
- 產生式規則表示法
產生式規則表示法(production rule representation)是2011年公布的語言學名詞,出自《語言學名詞》第一版。中文名 產生式規則表示法 外文名 production rule representation 所屬學科 語言學 公布時間 2011年 目錄 1定義 2出處 定義 播報 編輯 一種知識表示方法。產生式規則由左部的模式和右部的動作兩部分組成,左部的...
- 人工智慧設計語言
5. KRL. KRI_是Knowledge RepresentationLanguage的首字母縮寫.該語言建立在LISP之上，易於表達框架結構中的知識，是一種能夠支持複雜框架結構的語言.6. PROLOG.套用最廣泛的邏輯程式設計語言.PROLOG是Programming in Logic的首字司縮寫.該語言是一種基於一階謂詞邏輯的產生式規則語言.它由法國的考莫瑞爾(Colmerauer, ...
- 形式語言理論
按這個辦法，可以生成Lɑ中的所有句子，即整個Lɑ語言。嚴格地說，變換文法定義成四元組G=（∑，V，S，P）。∑是字母表，又稱終結符號表。V 是變數表，又稱非終結符號表，S是出發符號，P是變換規則（又稱產生式）的集合，其中∑，V和P 都是有限集，∑∩V=φ,S∈V。又令α和β分別表示（∑∪V)+和 ...
- 形式語言
VN:稱為文法G的非終結符號字母表,VN不出現在G所表示的語言集合的句子中;VT:稱為文法G的終結符號字母表,G所表示的語言的句子由VT中的元素組成,VN ∩VT = ;S :代表句子符號,S∈VN .P :代表一組式子組成的集合,P 中的式子具有如下形式:α->β 產生式需要滿足下面的條件:1)α可以是VN 和VT 上的任意...
- 上下文有關語言
設G =（VN，VT，P，S），若中的每一個產生式的形式都是A→aB或A→a，其中A和B都是非終結符，a是終結符，則G是3型文法或正規文法。0型文法產生的語言稱為0型語言。1型文法產生的語言稱為1型語言，也稱作上下文有關語言。2型文法產生的語言稱為2型語言，也稱作上下文無關語言。3型文法產生的語言稱為3...
- 第五代語言
Prolog語言是為處理人工智慧中也是大量出現的邏輯推理問題(首先是為解決自然語言理解問題)而設計的。它的理論基礎是一階謂詞演算(首先是它子集Horn子句演算)的消解法定理證明，其計算能力等價於LISP。OPS5面對的問題也是邏輯推理。不過PROLOG是向後推理，OPS5是向前推理。OPS5的理論基礎是Post的產生式系統，其計算能力...
- 形式語言與自動機理論(第4版)
5.4關於正則語言的判定算法161 5.5小結163 習題163第6章上下文無關語言166 6.1上下文無關文法166 6.1.1上下文無關文法的派生樹167 6.1.2二義性172 6.1.3自頂向下的分析和自底向上的分析175 6.2上下文無關文法的化簡177 6.2.1去無用符號178 6.2.2去ε產生式181 6.2.3去單一產生式組184 6....
- 人工智慧語言
Prolog語言是為處理人工智慧中也是大量出現的邏輯推理問題(首先是為解決自然語言理解問題)而設計的。它的理論基礎是一階謂詞演算(首先是它子集Horn子句演算)的消解法定理證明，其計算能力等價於LISP。OPS5面對的問題也是邏輯推理。不過PROLOG是向後推理，OPS5是向前推理。OPS5的理論基礎是Post的產生式系統，其計算能力...
- 樹文法
treegrammar,即具有一組生成規則（產生式）的樹語言(樹的集合)產生系統。樹文法是1969年W.S.布雷納德首先提出的。短語結構文法生成語言的特點是字元與字元間存在從左到右的一維連線關係（稱為鏈）。概念解釋 假使把一維的連線關係向多維推廣，就可能把鏈推廣為樹。上圖中是樹的一例，其中標號為b的最上端節點是...
- 喬姆斯基分類
喬姆斯基分類(Chomsky classification)亦稱喬姆斯基層次一種分層方法.是喬姆斯基(Chom-sky, N.)於1959年提出的關於形式語言及其文法的分層方法.喬姆斯基把文法定義為四元組G=(Σ,V,S,P)，其中Σ是終結符號集，V是非終結符號集，S是開始符號，P是變換規則(又稱產生式)集.這裡的Σ,V,P都是有限集，Σ∩V=∅(...
- 羅伯特·弗洛伊德
Analogy是可以判定幾何圖形是否類似的人工智慧程式）一起設計了一種稱為產生式語言的特殊的程式設計語言FPL（Floyd-Evans Production Language），用來編寫計算機語言的語法分析程式。之所以稱它為產生式語言，是因為用它編寫的程式由一系列產生式（或稱歸約式）組成。實際上，用 FPL編好語法分析程式以後，如果再插入語義...
- 形式語法
由文法刻畫的語言包含了所有可以這樣產生的字串，比如 ba, abab, aababb, aaababbb 等等。形式定義 一個形式文法 G 是下述元素構成的一個元組(N, Σ, P, S)：---有些書上也寫成(V,T,S,P)非終結符號集合 N。終結符號集合 Σ ，Σ 與 N 無交。取如下形式的一組產生式規則 P，(Σ ∪ N)*中的字...
- 喬姆斯基層次結構
上下文無關文法(簡稱CFG)可以化為兩種簡單的範式之一，即任一上下文無關語言(簡稱CFL)可用如下兩種標準CFG的任意一種生成：其一是喬姆斯基範式，它的產生式均取A BC或A a的形式；其二是格雷巴赫範式，它的產生式均取A aBC或A a的形式。其中A，B，C∈V，是非終結符；a∈∑，是終結符；a∈∑*，是終結符串。
- 喬姆斯基文法
在計算機科學中，形式語言是：某個字母表上，一些有限長字串的集合，而形式文法是描述這個集合的一種方法。形式文法之所以這樣命名，是因為它與人類自然語言中的文法相似的緣故。形式文法描述形式語言的基本想法是，從一個特殊的初始符號出發，不斷的套用一些產生式規則，從而生成出一個字串的集合。產生式規則指定了某些...
- 附標文法
附標文法是描述附標語言的形式文法。概念 它們有三個無交集的符號集合: 普通終結符、非終結符和只出現在中間推導中的附標(index)的集合。產生式可以如上下文無關文法那樣把一個非終結符替代為終結符和非終結符的字元串，但是它還把非終結符替代為跟隨著一個附標的非終結符，把跟隨著一個附標的非終結符替代為非...
- 上下文無關文法
在計算機科學中，形式語言是：某個字母表上，一些有限長字串的集合，而形式文法是描述這個集合的一種方法。形式文法之所以這樣命名，是因為它與人類自然語言中的文法相似的緣故。形式文法描述形式語言的基本想法是，從一個特殊的初始符號出發，不斷的套用一些產生式規則，從而生成出一個字串的集合。產生式規則指定了某些...
- 正則文法
第二類正則文法稱為左線性文法，它要求生成式必須是A→Bω，或A→ω的形式。由正則文法生成的語言稱為正則語言，它恰是有窮自動機所識別的語言類。定義 在計算機科學中，正則文法是產生式規則取下述形式的一種形式文法（N, Σ,P,S）：A->a，此處的A是N中的非終結符號，a是Σ中的終結符號；A->aB，此處...
- 喬姆斯基分層
任何語言都可以由無限制文法來表達，餘下的三類文法對應的語言類分別是遞歸可枚舉語言、上下文無關語言和正規語言。依照排列次序，這四種文法類型依次擁有越來越嚴格的產生式規則，所能表達的語言也越來越少。儘管表達能力比短語結構文法和上下文相關文法要弱，但由於能高效率的實現，上下文無關文法和正規文法成為四類文法...
- 算符優先文法
算符優先文法是一種描述形式語言的文法，其文法的特點是文法的產生式中不含兩個相鄰的非終結符。性質 假定G是不含ε- 產生式的算符文法。對於任何一對終結符a、b，我們說：（1）a等於b 若且唯若文法G中含有形如P→ ···ab···或P→···aQb···的產生式；（2）a小於b 若且唯若G中含有形如P...
- 波斯特系統
實際上,在波斯特系統中,可以限定所有的產生式都形如uA-> Aw,其中A為變元,u,wE乏‘,並約定只有一條初始假設,它們仍能產生所有遞歸可枚舉的語言。即對波斯特系統的這種限制並沒有減弱波斯特系統的力量,因此,在許多情形,波斯特系統被定義成這種受限制的形式。這種系統稱為正規系統.它們實際上是由布契(Buchi,J. R...
- 喬姆斯基譜系
1-型文法（上下文相關文法）生成上下文相關語言。這種文法的產生式規則取如 αAβ -> αγβ 一樣的形式。這裡的A 是非終結符號，而 α, β 和 γ 是包含非終結符號與終結符號的字串；α, β 可以是空串，但 γ 必須不能是空串；這種文法也可以包含規則 S->ε ，但此時文法的任何產生式規則都不能在...
- 二型文法
用下推自動機識別 2型文法在1型文法的基礎上，再加一條限制。簡單的說就是規則左邊只能都是非終結符，上下文無關文法的一個典型特徵是可以遞歸嵌套。由2型文法的產生的語言稱2型語言，識別2型語言機器對應於下推自動機。G=(Vn, Vt, P, S)2型文法： G的任何產生式形如A-＞β，其中A∈Vn,
