2型語言（type-2 language）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：2型語言
- 外文名：type-2 language
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
2型文法生成的語言。
出處
《計算機科學技術名詞 》第三版
2型語言
相關詞條
- 2型語言
2型語言（type-2 language）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義2型文法生成的語言。1出處《計算機科學技術名詞 》第三版...
- 形式語言理論
1型語言恰是非確定型線性有界自動機所識別的語言類。③2型文法。又稱為上下文無關文法。這種文法要求生成式a→β中的a必須是變元。由2型文法產生的語言稱為2型語言或上下文無關語言。2型語言恰是由下推自動機所識別的語言類。④3型文法。又稱為正則文法。這種文法分為兩種類型：第一類要求生成式的形式必須是A...
- 上下文有關語言
1型文法產生的語言稱為1型語言，也稱作上下文有關語言。2型文法產生的語言稱為2型語言，也稱作上下文無關語言。3型文法產生的語言稱為3型語言，也稱作正規語言。計算性質 上下文有關語言的可計算性等價於線性有界非確定圖靈機。它是磁帶只有kn個單元的非確定圖靈機，這裡的n是輸入的大小而k是與這個機器關聯的常數...
- 二型文法
二型文法，又稱上下文無關文法，擁有足夠強的表述力來表示絕大多數程式設計語言。例如：C Pascal Java 。。上下文無關語言，用下推自動機識別 2型文法在1型文法的基礎上，再加一條限制。簡單的說就是規則左邊只能都是非終結符，上下文無關文法的一個典型特徵是可以遞歸嵌套。由2型文法的產生的語言稱2型語言，...
- POP-2程式設計語言
POP-2程式設計語言，1960年後期問世的一種人工智慧語言。它是一種會話式語言，提供了很多的非數值和數值應用程式。程式簡介 Edinburgh大學人工智慧研究者開發了POP-2語言，這是因為LISP語言在他們使用的機器上不能夠很好地滿足他們的需要，還因為他們對LISP語言某些常用的特性有不同的看法，因此他們把LISP語言改進成POP-...
- 解釋型語言
解釋型語言：程式不需要編譯，程式在運行時才翻譯成機器語言，每執 行一次都要翻譯一次。因此效率比較低。比如Basic語言，專門有一個解釋器能夠直接執行Basic程 序，每個語句都是執行的時候才翻譯。(在運行程式的時候才翻譯，專門有一個解釋器去進行翻譯，每個語句都是執行的時候才翻譯。效率比較低，依賴解釋器，跨 ...
- 新共同言語
新共同言語(Lingua Franca Nova，LFN)是一個人造語言，於1965年發展出來，於1998年在網路出現了。創造者George Boeree的目的是造類似共同言語 （歷史上的Linga Franca）的言語。新共同言語的基礎是法語，義大利語，葡萄牙語, 西班牙語和加泰羅尼亞語; 英語不是一個基礎言語。新共同言語和其他的人造語言（世界語，伊...
- 2(網路語言)
在網路上用2表示一個人很“傻”，最初是出現各種論壇中。在論壇中有一個蓋樓回復，當一個人的評論被其他人評論的時候就會出現1樓、2樓、3樓、4樓…但這並沒有什麼奇怪，奇怪的是在很多時候2樓的評論通常都不像一個正常人的思維說出來的話，有各種髒話和帶侮辱的語言。 慢慢的大家也無法用語言來形容這種人...
- 彙編語言(面向機器的程式設計語言)
彙編語言（Assembly Language）是任何一種用於電子計算機、微處理器、微控制器或其他可程式器件的低級語言，亦稱為符號語言。在彙編語言中，用助記符代替機器指令的操作碼，用地址符號或標號代替指令或運算元的地址。在不同的設備中，彙編語言對應著不同的機器語言指令集，通過彙編過程轉換成機器指令。特定的彙編語言和...
- 類型語言學
學者們比較語言特徵往往抱有不同的目的。第1種是追溯歷史淵源，其方法是比較各語言的語法結構和最古老的基本辭彙的語音和語義，發現這些語言之間的親屬關係。第2種是建立人類語言類型體系，其方法是按某些特徵把語言分類，如把漢語和馬來-玻里尼西亞語系玻里尼西亞語族的薩摩亞語都歸入孤立型語言（雖然二者並無親屬...
- 人口語言結構類型
人口語言結構類型是人口語言結構的形式和種類。共有四種類型。(1) 單一型人口語言結構。一個國家基本上只講一種語言，如葉門、約旦、埃及、沙烏地阿拉伯、科威特等，幾乎全體居民都講阿拉伯語，就是單一型人口語言結構。(2) 偏重型人口語言結構。(3) 聯合型人口語言結構。(4) 重疊型人口語言結構。一個國家一部分或...
- 印地語(印歐語系印度語族語言)
印地語（天城文：हिन्दी或हिंदी；拉丁字母轉寫：Hindī；英語：Hindi language），又稱北印度語，是印歐語系印度語族下的一種語言。印地語以使用國家數量來算是世界排名第八的語言，在1965年1月26日成為印度中央政府的官方語言。印地語和烏爾都語（合稱印度斯坦語）大同小異，主要區別...
- 泰米爾語(印度憲法承認的語言之一)
北京外國語大學亞非學院於2018年9月正式開設泰米爾語語言文學本科專業。學制四年。每四年招生一次，課程設定除了語言技能，還包括地區研究、經濟學、法學、社會學等學科方向課程。北京外國語大學泰米爾語專業將為中國培養精通泰米爾語語言和文化、翻譯水平過硬、具有學術研究初步能力的的高水平複合型外語人才。
- short(C語言中的整數類型)
無符號型：類型說明符為unsigned。無符號型又可與上述三種類型匹配而構成：無符號基本型：類型說明符為unsigned int或unsigned。無符號短整型：類型說明符為unsigned short。無符號長整型：類型說明符為unsigned long。下表列出了C語言中各類整型數據所分配的記憶體位元組數及數的表示範圍。測試不同整數類型所占的位元組數的...
- 編程語言
(2)全面思考平台支撐性。在開展程式編程工作的過程中，應該思考套用平台給編程語言帶來的影響，結合程式語言自身特性對套用平台實施科學調整，從而實現工作水平的提升，將程式語言自身作用充分發揮。(3)思考程式編程實際問題。在進行程式編程的過程中，綜合思考上述兩個問題時。還要對編程實際情況進行全面思考。所以，在進行...
- 阿拉伯語(亞非語系閃語族中閃語支語言)
自7世紀上半葉隨著阿拉伯人在半島以外的擴張和外族語言的侵入，阿拉伯語方言逐漸形成了與文學語言的巨大差異。阿拉伯語方言已發展為敘利亞、伊拉克、內志和希賈茲、葉門、埃及、突尼西亞、阿爾及利亞、摩洛哥8大支，以埃及方言影響最大。總使用人數：2.06億（根據民族語，1998年對所有方言的母語使用者統計）；2.86億（...
- 烏克蘭語(印歐語系斯拉夫語族東斯拉夫語支語言)
烏克蘭語屬屈折型語言，詞法較俄語更為複雜。名詞 烏語名詞有三性、兩數、七格。詞性的區別大致可以從詞尾判斷：1.以輔音結尾的大都是陽性：ліс樹林，герб徽章，чоловік男人 2.以-а、-я結尾的大都是陰性：мова語言，посмішка微笑，пісня歌曲 3.以-о、-е、-...
- JAVA 2語言命令詳解
JAVA 2語言命令詳解 《JAVA 2語言命令詳解》是2001年電子工業出版社出版的圖書。內容介紹
- 英語(印歐語系日耳曼語族西日耳曼語支語言)
其他語言：小於1% 根據加拿大Athabasca大學2014年9月的研究結果，美英常用的11萬英語單詞中的45%，即至少5萬英語辭彙的詞源來自法語，掌握法語將會提高英語的語法與單詞技能。值得注意的是，現代英語中仍然保留著2萬5千個古英語的單詞，雖然在英語中的比例不算很大，但是幾乎覆蓋了所有最基本的口語和日常生活用語（只要...
- 苗語(中國少數民族語言)
第三土語，3000人。ISO 639-3語言代碼還設有白苗mww、綠苗hnj、角苗hrm、漢苗hmz、越南苗hmv、hmf；（2）滇東北次方言（adHmaoblul），又稱大花苗hmd，30萬人；（3）貴陽次方言，19萬人，分為北部huj、西南hmg、南部hmy、西北、中南五個土語；（4）惠水次方言，18萬人，分為北部hmi、西南hmh、中部hmc、...
- 大語言模型
BERT出現具有重大意義,尤其是預訓練+參數微調”的研究範式,此後出現更多預訓練語言模型都是以該範式為基礎;同年,OpenAI公司同樣發布了自己的模型GPT(Generative Pre-Training),這是一個典型的生成式預訓練模型 [13]。 2019年,OpenAI發布GPT-2,該模型可以不用根據下游任務數據進行參數最佳化,可以根據給定指令自行理解並...
- 解釋性語言
解釋型語言，是在運行的時候將程式翻譯成機器語言。解釋型語言的程式不需要在運行前編譯，在運行程式的時候才翻譯，專門的解釋器負責在每個語句執行的時候解釋程式代碼。這樣解釋型語言每執行一次就要翻譯一次，效率比較低。概念 計算機不能直接理解任何除機器語言以外的語言，所以必須要把程式設計師所寫的程式語言翻譯成機器...
- 語言學(中國普通高等學校本科專業)
語言學（Linguistics），是中國普通高等學校的一個本科專業，修業年限是四年，授予學位是文學學士。語言學是系統而科學地研究語言的本質、起源及運用的學科，學習現代語言學及心理、認知等學科的基礎知識，培養具有完備現代語言學知識結構的語言學專門人才和跨學科學科視野的、國際化的複合型人才。隨著 21 世紀的學術發展...
- 形式語法
形式語法（formal grammar）是指計算機科學中描述有限長字串的集合的一種方法。簡介 形式文法之所以這樣命名，是因為它與人類自然語言中的文法相似的緣故。形式文法描述形式語言的基本想法是，從一個特殊的初始符合出發，不斷的套用一些產生式規則，從而生成出一個字串的集合。產生式規則指定了某些符號組合如何被另外一些...
- 模糊限制語
模糊限制語（hedges）是一種語言學術語，模糊現象客觀地、廣泛地存在於人類生活的方方面面。因此，在人類語言中，同樣存在著許多詞語，它們所表達的概念是沒有明確外延的概念，即所謂的“模糊概念”。人們對模糊現象的關注與研究已有很長歷史了，但是對模糊語言進行專門的研究卻是最近二三十年的事。模糊語言學，作為一...
- 世界語(於1887年發明創立的一種國際語)
世界語（Esperanto）是由波蘭籍猶太人眼科醫生拉扎魯·路德維克·柴門霍夫（Ludwig Lazarus Zamenhof）博士在印歐語系的基礎上於1887年7月26日發明創立的一種人造語言。他期待這門語言能夠為不同語言人群的交流提供便利，能夠幫助人們跨越語言、膚色、種族、地域等界限，用同一個身份——世界公民來平等、友好地相處，而...
- 羅曼語族
在羅曼語言中，“16”這個數字在計數體系中地位非常特殊。除了羅馬尼亞語以外，羅曼語言普遍用“1+10”，“2+10”……結構表示11-15，用“10+7”，“10+8”……結構表示17-19。而16作為兩組之間的分界線，在各語言中表達方法不同，其中加泰羅尼亞語、義大利語等用“6+10”；而葡萄牙語和西班牙語等則用...
- 現代標準漢語
2000年10月31日頒布的《中華人民共和國國家通用語言文字法》確定國語為國家通用語言。漢語國語也是世界主要語言之一，是聯合國六種正式工作語言之一。基本信息 國語（Putonghua），按照1956年2月6日中華人民共和國國務院發出關於推廣國語的指示，就是“以北京語音為標準音，以北方話為基礎方言、以典範的現代白話文...
- CLT(教學法)
⑵ 任務原則---籍由語言溝通來完成任務的學習型 ⑶ 意義原則---教學內容對學習者能產生意義則較能增強學習效果。交際教學法（communicative approaches）並不是一種單一的，固定的教學模式，它的核心內容是“用語言去學”（using language to learn）和“學會用語言”（learning to use language），而不是單純的“...
- 喬姆斯基譜系
這種文法規定的語言可以被線性有界非確定圖靈機接受。2-型文法生成上下文無關語言。這種文法的產生式規則取如 A -> γ 一樣的形式。這裡的A 是非終結符號，γ 是包含非終結符號與終結符號的字串。這種文法規定的語言可以被非確定下推自動機接受。上下文無關語言為大多數程式設計語言的語法提供了理論基礎。3-型...
