語言歸約（language reduction）是2011年公布的語言學名詞。
基本介紹
- 中文名：語言歸約
- 外文名：language reduction
- 所屬學科：語言學
- 公布時間：2011年
定義,出處,
定義
在自底向上的分析方法中，逆向使用文法規則，將語句符號串中與重寫規則右部匹配的子串替換為重寫規則左部文法符號的過程。
出處
《語言學名詞》第一版。
語言歸約
相關詞條
- 語言歸約
語言歸約（language reduction）是2011年公布的語言學名詞。定義在自底向上的分析方法中，逆向使用文法規則，將語句符號串中與重寫規則右部匹配的子串替換為重寫規則左部文法符號的過程。出處《語言學名詞》第一版...
- 軟體工程卷2:系統與語言規約
《軟體工程卷2：系統與語言規約》是2009年清華大學出版社出版的圖書，作者是Dines Bjorner。圖書簡介 本書是世界著名的計算機科學家DinesBjorner教授對其所從事的軟體工程研究的總結。這幾卷書主要講述了如何使用形式方法指導軟體工程的開發，特別是作者獨創性地提出了領域工程這一全新的研究領域並在第~3~卷中予以系統...
- 數控語言
語義解釋的任務是將數控語言程式解釋成底層模組能夠識別的目標程式，它是數控語言解釋程式中具體實現各種數控語句功能的模組，目標程式的代碼格式由底層模組指定。實現 數控語言解釋程式由詞法分析、語法分析、語義解釋、表格管理和出錯處理等部分組成。詞法分析、語法分析和語義解釋前面已經介紹。表格管理的任務是將數控程式的...
- 圖靈歸約
一個語言L是可以被圖靈機所枚舉（enumerate）的，如果存在一個圖靈機 M，使得輸入是L中的串時，M輸出“接受”；而對非L中的串，M輸出“拒絕”或不停機。而一個語言L'是可以被圖靈機所決定（decide）的，如果存在一個圖靈機M'，使得輸入是L中的串時，M輸出“接受”；而對非L中的串，M輸出“拒絕”。注意...
- 統一數字控制語言
統一數字控制語言簡稱統一數控語言。數控語言是一種專用程式設計語言，它既具有普通程式設計語言的特點，又具有專用性。它的基本運算單位是語句，語句具有說明型的和執行型的。語句的書寫是通過基本符號的各種合法組合來完成。數控語言僅僅適用於數控工具機的自動控制，不能用來作科學計算或其他目的。語言簡介 統一數字控制...
- 語言膨脹
語言膨脹(expansion of a language)亦稱語言擴充。模型論的基本概念之一指增加新的非邏輯符號的語言。設丫及丫‘為兩個形式語言，如果丫是丫‘的子集(這意味著，如果R是丫中的n元關係符號，則R也是丫，中的n元關係符號……)，則稱丫‘為獷的膨脹，稱丫為丫‘的歸約，記為}C丫‘.例如，語言}_ }+} ...
- 面向表達式語言
歸約機是一種面向函式式程式設計語言的計算機，屬於需求驅動的系統結構。指令的執行順序取決於對這些指令產生結果數據的需求，而這種需求又源於函式式程式設計語言對表達式的歸約。歸約操作主要是函式作用和子表達式變換。歸約過程就是將每個最內層可歸約表達式用其值來替換，這樣又形成了新的最內層可歸約表達式，然後...
- 程式設計語言理論
1.1.1模型語言 1.1.2九表示法 1.1.3記號和約定 1.2等式、歸約和語義 1.2.1公理語義 1.2.2操作語義 1.2.3指稱語義 1.3類型和類型系統 1.3.1類型和類型系統 1.3.2類型語言的優點 1.4歸納法 1.4.1表達式上的歸納 1.4.2證明上的歸納 1.4.3良基歸納 習題 第2章可計算函式程式設計語言 2...
- 函式程式設計語言--計算機模型、編譯技術、系統結構
《函式程式設計語言--計算機模型、編譯技術、系統結構》是清華大學出版社出版的圖書，作者是鄭緯民，等 內容簡介 內容簡介 本書詳細論述了函式程式設計語言的計算模型、編譯技術以及面向函式程式設計語言的系統結構。其 主要內容包括：函式程式設計語言，λ演算，函式語言的歸約計算方法，函式語言的圖重寫計算模型，...
- 程式設計語言與編譯:語言的設計和實現
《程式設計語言與編譯：語言的設計和實現》為“普通高等教育‘十一五’國家級規劃教材”，是一本計算機專業的寬口徑教材，新版覆蓋CC2001和CCC2002教程中，除自動機外程式語言（PL）模組的全部知識點。內容涉及語言及其編譯系統的設計要素、設計思想、設計方法、設計技術和設計風格等知識，全書分為上、下篇。上篇，程式...
- 最左推導
對於一個給定的終結符號串w，若採用自頂向下的語法分析來判明w是否為某一語言L(G)中的句子，通常的做法乃是： 試圖為w建立一個從G的開始符號S到w的最左推導。顯然，在建立此種推導序列的某一步，若當前被替換的非終結符號U是由若干個候選式定義的，即有U→α1|α2|…|αn，那么，就必然會出現如何選用...
- 編譯
而自下而上分析法採用的是移進歸約法，基本思想是：用一個暫存符號的先進後出棧，把輸入符號一個一個地移進棧里，當棧頂形成某個產生式的一個候選式時，即把棧頂的這一部分歸約成該產生式的左鄰符號。中間代碼 中間代碼是源程式的一種內部表示，或稱中間語言。中間代碼的作用是可使編譯程式的結構在邏輯上更...
- 語法分析
從給定的輸入串r開始，不斷尋找子串與文法G中某個產生式P的候選式進行匹配，並用P的左部代替(歸約)之，逐步歸約到開始符號S。是一種辨認的方法，基於目標的方法。分析的主旨是尋找合適的子串與P的侯選式進行匹配，直到歸約到G的S為止 。功能 按照源語言的語法規則，從詞法分析的結果中識別出相應的語法範疇，...
- 求值策略
經常使用用來研究函式的形式系統λ演算來建模求值策略，這裡它們通常叫做歸約策略。求值策略分為兩大基本類，嚴格的和非嚴格的，基於如何處理給函式的實際參數。一個語言可以組合多種求值策略；例如C++組合了傳值調用和傳引用調用。多數語言對布爾表達式和if語句使用某種形式的非嚴格求值。嚴格求值 在“嚴格求值”中，給...
- 完備性
在數理邏輯(en:mathematical logic中），一個理論(theory）被稱為完備的，如果對於其語言（language）中的任何一個句子（sentence)S，這個理論包括且僅包括S或S之逆。一個系統是兼容的，如果不存在同時P和非P的證明。哥德爾不完備定理證明了，包含皮亞諾公理(Peano axioms）的所有公理系統都是不可能既完備又相容的...
- 邏輯實證主義
形式的語言習慣的表達式如下：一個物理對象的名字（例如月亮這個語詞）是可歸約為感覺資料謂詞（或知覺謂詞）的。卡爾納普認為,如果我們把實質的說話方式翻譯成形式的說話方式,就有可能把這兩個對立的命題調和起來,消除關於形上學假問題的爭論。這種用形式的說話方式代替實質的說話方式,用句法句子代替假對象句子的方法...
- 編譯原理(計算機專業課程)
編譯原理是計算機專業的一門重要專業課，旨在介紹編譯程式構造的一般原理和基本方法。內容包括語言和文法、詞法分析、語法分析、語法制導翻譯、中間代碼生成、存儲管理、代碼最佳化和目標代碼生成。 編譯原理是計算機專業設定的一門重要的專業課程。編譯原理課程是計算機相關專業學生的必修課程和高等學校培養計算機專業人才的基礎...
- LR分析法
LR分析是當前最一般的分析方法。它對文法的限制最少，現今能用上下文無關文法描述的程式設計語言一般均可用LR方法進行有效的分析。分析法介紹 1965年，D.Knuth首先提出了LR(K)文法及LR(K)分析技術。所謂LR(K)分析，是指從左至右掃描和自底向上的語法分析，且在分析的每一步，只須根據分析棧當前已移進和歸約出...
- 存在主義(當代西方哲學流派)
推究其因，文學語言要比哲學語言更能掌握活生生的人類處境。存在主義者反對將人歸約成抽象的概念存在，有什麼比小說、戲劇更能考察人與人、人與世界的關係呢？如今，陀斯托耶夫斯基的《卡拉馬佐夫兄弟》《地下室手記》，卡夫卡的《審判》《城堡》，加繆的《異鄉人》（又譯《局外人》）、《鼠疫》，薩特的《嘔吐》（...
- 編譯程式
而自下而上分析法採用的是移進歸約法，基本思想是：用一個暫存符號的先進後出棧，把輸入符號一個一個地移進棧里，當棧頂形成某個產生式的一個候選式時，即把棧頂的這一部分歸約成該產生式的左鄰符號。（3） 中間代碼生成 中間代碼是源程式的一種內部表示，或稱中間語言。中間代碼的作用是可使編譯程式的...
- 簡單優先分析法
(1) 若Si在句柄中，而Sj不在句柄中，則Si顯然為句柄的尾符號，故G中必有形如A→…Si的產生式，使Si先於Sj被歸約。此時，我們就說符號Si優於Sj，且記為Si＞· Sj。此外，由於Sj出現在規範句型的句柄之右，故可知Sj必為終結符號。(2) 若Si與Sj同時處於α的句柄之中 ，則G中必有形如A→…SiSj…的...
- 全局程式最佳化理論
程式最佳化是指改進程式，使之節省存儲空間，提高執行效率，這個過程稱為最佳化。最佳化的目標是從執行的結果程式中消除重複計算。程式最佳化的基礎：控制分析，數據流分析。程式最佳化可以分類為局部或全局的，依賴於機器或不依賴於機器的，依賴於語言或不依賴於語言的。全局程式最佳化理論是指編譯階段對整個程式執行語句和數據流指令...
- 組合子邏輯
組合子邏輯可以被看作是lambda演算的變體，它把lambda表達式（用來允許函式抽象）替代為組合子的有限集合，它們是不包含自由變數的原始函式。很容易把lambda表達式變換成組合子表達式，並且因為組合子歸約比lambda歸約要簡單，它已經被用做用軟體中的某些非嚴格的函式式編程語言和硬體的圖歸約機的實現基礎。還可以用很多...
- 非確定性
確定型圖靈機在多項式時間內接受的語言所組成的類,記作P；非確定型圖靈機在多項式時間內接受的語言所組成的類，記作NP。後者包含前者，但兩者是否相同這個問題至今仍未解決。關於NP=?P問題的研究,大體有四方面工作：藉助歸約方法進行的NP完全性理論的研究;藉助ORACLE(橡樹嶺自動計算機和邏輯機)進行的相對化語言類的...
- 現代計算機體系結構
5.3 歸約機的基本概念189 5.3.1 歸約方式190 5.3.2 函式式語言與歸約機結構191 5.3.3 串歸約機193 5.3.4 圖歸約機194 5.4 智慧型計算機簡介196 5.4.1 智慧型信息處理與智慧型計算機196 5.4.2 智慧型計算機的結構198 第6章 嵌入式計算機系統201 6.1 嵌入式系統簡介201 6.1.1 嵌入式系統的概念202...
- 自底向上句法分析
自底向上句法分析 自底向上句法分析（bottom up parsing）是2011年公布的語言學名詞。定義 從待分析的句子出發，逆向使用重寫規則逐級向上歸約，構造句法樹，直到歸約出初始符號或分析失敗為止。出處 《語言學名詞》第一版。
- 真理的語義理論
粗略的說，它聲稱一個給定語言的句子的真理概念不能在這個語言內被一致性的定義出來。概要 真理的語義理論聲稱對某個命題是“真的”的任何斷言，可以只作為形式上的需要而做出來，不管表達命題自身用了什麼語言。T-模式 要公式化有關語言學事情的理論，為了避免語義悖論比如謊言者悖論，區分你談話用的所謂目標語言和...
- 自動定理證明
用謂詞演算公式描述的事實即證明系統中的公理(axioms)。證明系統(proof system)是套用公理演繹出定理(theorems)的合法演繹規則的集合。所謂演繹，也叫歸約(deduction)，是對證明系統中合法推理規則的一次套用。在一個簡單的演繹步驟中，可以從公理導出結論(conclusion)，中間可以利用這些規則演繹出的定理。證明(proof)是...
- CUDA編程
2.1 C 語言中的HelloWorld程式10 2.2 CUDA中的HelloWorld程式11 2.2.1 只有主機函式的CUDA程式11 2.2.2 使用核函式的CUDA程式12 2.3 CUDA 中的執行緒組織14 2.3.1 使用多個執行緒的核函式14 2.3.2 使用執行緒索引15 2.3.3 推廣至多維格線17 2.3.4 格線與執行緒塊大小的限制21 2.4 ...
