上下文相關語言（context sensitive language）是2011年全國科學技術名詞審定委員會公布的語言學名詞，出自《語言學名詞》第一版。
基本介紹
- 中文名：上下文相關語言
- 外文名：context sensitive language
- 所屬學科：語言學
- 公布時間：2011年
定義,出處,
定義
形式語言的一種。是可以被上下文有關文法定義的形式語言。它是在理論和實踐中都使用最少的語言。
出處
《語言學名詞》第一版
上下文相關語言
相關詞條
- 上下文相關語言
上下文相關語言（context sensitive language）是2011年全國科學技術名詞審定委員會公布的語言學名詞，出自《語言學名詞》第一版。定義形式語言的一種。是可以被上下文有關文法定義的形式語言。它是在理論...
- 上下文有關語言
1型文法產生的語言稱為1型語言，也稱作上下文有關語言。2型文法產生的語言稱為2型語言，也稱作上下文無關語言。3型文法產生的語言稱為3型語言，也稱作正規語言。計算性質 上下文有關語言的可計算性等價於線性有界非確定圖靈機。它是磁帶只有kn個單元的非確定圖靈機，這裡的n是輸入的大小而k是與這個機器關聯的常數...
- 上下文
我們這裡所謂的語境意義,是指在語境中,語言符號實際具有的涵義,包括賦予義和解釋義。 [1] 漢語中,“上下文”一詞的出處,最早可追溯到唐代賈公彥《周禮義疏·秋官》。 《周禮·秋官》“原文:“若國札喪 ,則令賻補之 ;若國凶荒 ,則令委之 ;若國師役 ,則令槁之 ;若國有福事 ,則令慶賀之 ;若國有禍災 ,...
- 上下文有關文法
上下文有關文法的概念是諾姆·喬姆斯基在1950年代作為描述自然語言的語法的一種方式介入的，在自然語言中一個單詞是否可以出現在特定位置上要依賴於上下文。可以被上下文有關文法描述的形式語言叫做上下文有關語言。上下文有關文法(CSG)是其中任何產生規則的左手端和右手端都可以被終結符和非終結符的上下文所圍繞的形式文法...
- 上下文自由
上下文自由，轉換生成語法術語。“上下文限制”的對稱。指重寫規則的運用不受上下文的限制。這類規則常寫成A→B，表示A改寫成B時，不必考慮A的上下文；也可看成是上下文限制的A→B/XY，在X和Y都是空符號時的特例。在數理語言學中由這類規則構成的語法叫“上下文自由語法”，又稱“2型語法”。不按照一定順序排列...
- 上下文無關文法
語言 被稱為是上下文無關語言（CFL），如果存在一個 CFG 使得 。範式 每一個不生成空串的上下文無關文法都可以轉化為等價的Chomsky 範式或Greibach 範式。這裡兩個文法等價的含義指它們生成相同的語言。由於 Chomsky 範式在形式上非常簡單，所以它在理論和實踐上都有套用。比如，對每一個上下文無關語言，我們可以利用...
- 上下文限制
上下文限制，轉換生成語法術語。亦稱“上下文敏感”。“上下文自由”的對稱。指重寫規則的運用一定要滿足某種上下文條件，受上下文的限制。這類規則常寫成A→B/XY，其中斜線表示“在……上下文中”，下劃線表示A在上下文中的位置，整個規則表示：當A處於XAY條件時，A改寫成B。在數理語言學中，全部由這類規則構成的語法...
- 確定上下文無關文法
產生式規則指定了某些符號組合如何被另外一些符號組合替換。最常見的文法的分類系統是諾姆·喬姆斯基於1956年發展的喬姆斯基譜系，這個分類譜系把所有的文法分成四種類型：無限制文法、上下文相關文法、上下文無關文法和正規文法。四類文法對應的語言類分別是遞歸可枚舉語言、上下文相關語言、上下文無關語言和正規語言。
- 形式語言與自動機
《形式語言與自動機》以四類形式語言（短語結構語言、上下文有關語言、上下文無關語言、正則語言）和四種自動機（有窮自動機、下推自動機、圖靈機、線性有界自動機）為主線，討論了形式語言與自動機方面的主要理論成果和套用實例。書中每一章的最後都配有大量不同難度的習題，有助於讀者掌握本書內容。內容簡介 本書...
- 安全斷言標記語言第4部分:認證上下文
安全斷言標記語言第4部分：認證上下文 《安全斷言標記語言第4部分：認證上下文》是2011年1月1日實施的一項行業標準。起草人 薛寧、聶秀英等。起草單位 工業和信息化部電信研究院。
- 語言環境
語言 語言是一種社會現象，是一種社會活動，因此，運用語言總是離不開一定的語境，就像植物生長離不開空氣和水一樣。因此，我們學習語言，不僅要儘可能多地了解語音、語彙、語法等有關的語言知識，儘可能多地掌握字詞的讀音和意義，更重要的，還要善於依據一定的語境準確理解語言和在特定的語境中恰當使用語言，提高...
- 基於主題模型的樞軸語言統計機器翻譯研究
樞軸語言方法能夠克服統計機器翻譯缺乏雙語語料的困境，成為近年來機器翻譯研究和產業化的熱點之一。然而，由於語言的多樣性和稀疏性，目前的樞軸語言建模方法無法充分利用樞軸語言翻譯單元的上下文信息，對最終模型產生負面影響。對此，本項目提出引入主題模型來建立上下文相關的樞軸語言統計機器翻譯。項目主要工作包括：① 研究...
- 自動機理論、語言和計算導引
第七章討論圖靈機；第八章討論不可判定性；第九章按Chomsky譜系對語言和自動機加以總結，同時介紹了上下文有關語言和線性有界自動機；第十章討論上下文無關語言的一種特殊情形——確定的上下文無關語言；第十一章討論抽象語言族；第十二、十三章討論計算複雜性理論；第十四章介紹了幾種其它的重要語言類。
- 漢語語言要素的語境研究
第一章 語境研究 第一節 語境 第二節 語境的功能 第三節 國內外語境研究簡述 第四節 語境研究與語言實踐 第二章 語境研究視域下的現代漢語語音 節 語音的意義 第二節 語境視域下的現代漢語語音 第三章 語境研究視域下的現代漢語詞義 節 語境與現代漢語詞語意義的彰顯 ...
- 語言溝通
此外，語言交流是有規則的，必須遵循商定的規則來理解人們共享的符號。語言溝通的四個一般規則為：語音規則（語言中會使用哪些聲音）、句法規則（詞的拼字以及詞在句子中的順序）、語義規則（詞的含義）和語用規則（配合上下文得到的含義）。只有通過公認的、受規則支配的符號系統，才能有效地進行語言交流。語音規則 語...
- 保留上下文索引系統
PRECIS採用具有句法結構的敘詞語言，並依據職能符號表進行主題分析，因此索引款目能較確切地表達文獻主題，而且接近自然語言，可讀性強。它把人工標引技術與計算機工作能力融為一體，編制速度快，費用低。PRECIS已成功地運用於英語、德語、法語、丹麥語、波蘭語、泰米爾語和漢語等語言，並能實現不同語種索引款目之間的...
- 喬姆斯基層次結構
每一個上下文相關語言都是可判定的。每一個可判定語言都是可計算枚舉的。此外，先前說明的語言類之間的包含關係是固有的。其意味著：存在可計算枚舉語言是不可判定的。存在可判定語言是非上下文相關的。存在上下文相關語言是非上下文無關的。存在上下文無關語言不是確定性上下文無關的。存在上下文無關語言不是線性的。...
- 喬姆斯基分層
每一個上下文相關語言都是可判定的。每一個可判定語言都是可計算枚舉的。此外，先前說明的語言類之間的包含關係是固有的。其意味著：存在可計算枚舉語言是不可判定的。存在可判定語言是非上下文相關的。存在上下文相關語言是非上下文無關的。存在上下文無關語言不是確定性上下文無關的。存在上下文無關語言不是線性的。...
- 喬姆斯基譜系
正規語言通常用來定義檢索模式或者程式設計語言中的詞法結構。正規語言 正規語言類包含於上下文無關語言類，上下文無關語言類包含於上下文相關語言類，上下文相關語言類包含於遞歸可枚舉語言類。這裡的包含都是集合的真包含關係，也就是說：存在遞歸可枚舉語言不屬於上下文相關語言類，存在上下文相關語言不屬於上下文無關語言...
- 短語結構文法
產生式的兩端無任何限制的為0型文法，產生0型語言或稱遞歸可數語言。在產生式兩端加上一些限制，又可分為三類文法：①上下文敏感文法（1型）α1Aα2─→α1βα2，只有當非終止符A的前後為α1、α2的條件下，A才可以改寫成β。②上下文無關文法（2型），產生式的形式是 A─→β，左端為一個非終止符，右...
- 抽象語法
每個套用層協定中的抽象語法與一個能對其進行編碼的傳輸語法的組合，就構成一個表示上下文（Presentation Context）。表示上下文可以在連線建立時協商確定，也可以在通信過程中重新定義。表示層提供定義表示上下文的功能。作為一種形式語言，ASN.1 有嚴格的BNF定義。ISO 8824/X.208 標準說明了ASN.1，下面列出ASN.1 文本...
- 形式語法
某些類型的文法及其產生的語言得到了細緻的研究並被單獨命名。最常見的文法的分類系統是諾姆·喬姆斯基於1950年發展的喬姆斯基譜系，這個分類譜系把所有的文法分成四種類型：即0型、1型、2型和3型，又可以分別稱為無限制文法、上下文相關文法、上下文無關文法和正規文法。任何語言都可以由無限制文法來表達，餘下的三類...
- 語用學(現代數理邏輯符號學分支)
語言學、哲學和心理學的一個分支學科,研究脈絡如何影響人運用和理解語言。語用學分析研究影響語言行為(如招呼、回答、應酬、勸說)的標準和支配輪流發言的規則。語用學還研究語言用於成事的方式。例如,「我允諾」用於特定語境中就是允諾。 符號學的一個分支,研究符號或語言詞句與其使用之間的關係。 語用學是語言學各...
