1型語言（type-1 language）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名：1型語言
- 外文名：type-1 language
- 所屬學科：計算機科學技術
- 公布時間：2018年
- 審定機構：全國科學技術名詞審定委員會
定義,出處,
定義
1型文法生成的語言。
出處
《計算機科學技術名詞 》第三版
1型語言
相關詞條
- 1型語言
1型語言（type-1 language）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義1型文法生成的語言。1出處《計算機科學技術名詞 》第三版...
- 上下文有關語言
1型文法產生的語言稱為1型語言，也稱作上下文有關語言。2型文法產生的語言稱為2型語言，也稱作上下文無關語言。3型文法產生的語言稱為3型語言，也稱作正規語言。計算性質 上下文有關語言的可計算性等價於線性有界非確定圖靈機。它是磁帶只有kn個單元的非確定圖靈機，這裡的n是輸入的大小而k是與這個機器關聯的常數...
- 世界諸語言
漢藏語系的語言多是分析型語言，非洲的一些語言也是分析型語言。②粘著型語言。其特點是詞內有專門表示語法意義的附加成分,一個附加成分表達一種語法意義,一種語法意義也基本上由一個附加成分來表達；詞根或詞幹跟附加成分的結合不緊密。屬於粘著型語言的有：古代的蘇默語（已消亡）、烏拉爾、阿爾泰、高加索、達羅毗荼...
- 語言動力系統與二型模糊邏輯
《語言動力系統與二型模糊邏輯》是2013年科學普及出版社出版圖書，作者是莫紅、王飛躍。內容簡介 語言動力系統以詞計算代替常規的數字元號計算，在語言的層次上動態地有效利用信息，解決複雜系統的建模、分析、評估與控制問題，最終以期建立連線處理人類的語言知識表示和計算機的數字知識表示的橋樑和紐帶，成為下一代智慧型化...
- 類型語言學
孤立型語言 孤立型語言包括漢語、越南語、薩摩亞語等等，其主要特徵有兩個：①實詞通常不帶語法標誌，如漢語單詞“信”不分單複數，可指一封信或幾封信；②句法關係主要靠詞序表明，如“我寫信”不能改為“我信寫”或“信寫我”。粘著型包括蒙古語、日語、芬蘭語、匈牙利語、土耳其語等等，其特徵是一個詞根（或...
- 泰米爾語(印度憲法承認的語言之一)
泰米爾是泰米爾納德邦的官方語言，同時也是印度22種國家憲法承認的語言之一。泰米爾也是斯里蘭卡的官方語言之一，並於南非有憲法地位。另外，泰米爾語於2004年獲印度政府定為古典語言，這是獲得該地位的第一個印度語言。歷史沿革 泰米爾人與泰米爾語泰米爾人生活在印度的泰米爾納德邦、安得拉邦、喀拉拉邦，斯里蘭卡的東部和北部...
- 希伯來語(亞非語系閃語族語言)
希伯來語（希伯來語：עִבְרִית，英語:Hebrew ）是猶太民族的語言，以色列國通用語言，為世界上較為古老的語言之一，使用人數約900萬人。“希伯來”意為“渡河而來”，屬於亞非語系(又稱閃含語系)閃米特語族的一個分支，古希伯來語，沒有元音字母，只有22個輔音字母，其文字從右往左書寫。許多...
- 網路語言
如今，無論是電腦還是手機，表情符號都已經成為聊天工具中的必備網路語言。辭彙演變型 創新是網路用語的基本要素，任何一種類型的網路語言，都有不同於傳統語言的新意，但多數是建立在傳統語言基礎之上的，隨著社會的發展和科技的進步，新的辭彙也在不斷出現，這種創新首先體現在網路上，由網路又延伸到了生活中，最終...
- 編程語言
編程語言里一個重要的里程碑——Pascal 這是基於ALGOL程式語言，為紀念法國數學家、哲學家、電腦先驅布萊茲·帕斯卡而命名。它由瑞士Niklaus Wirth教授於六十年代末設計並創立的。Pascal具有語法嚴謹、層次分明等特點，是第一個結構化程式語言，被稱為“程式語言里一個重要的里程碑”。現代程式語言革命的起點——C語言 ...
- 瑞典語(印歐語系日耳曼語族北日耳曼語支語言)
瑞典語（瑞典語：Svenska；英語：Swedish language），屬於印歐語系日耳曼語族北日耳曼語支，主要使用地區為瑞典王國和芬蘭共和國（尤其是奧蘭島），使用人數超過九百萬人。它和斯堪的納維亞地區同語支的丹麥語和挪威語可以相通。語言介紹 瑞典語分布於瑞典和芬蘭，使用人口共約866萬，其中不到800萬在瑞典，移民人口（1...
- 解釋型語言
相對於編譯型語言存在的，原始碼不是直接翻譯成機器語言，而是先翻譯成中間代碼，再由解釋器對中間代碼進行解釋運行。比如Python/JavaScript / Perl /Shell等都是解釋型語言。解釋型語言：程式不需要編譯，程式在運行時才翻譯成機器語言，每執 行一次都要翻譯一次。因此效率比較低。比如Basic語言，專門有一個解釋器能夠...
- 語音學(語言學分支學科)
世界諸語言可分為非聲調語言和聲調語言兩類。非聲調語言的聲調擔負著語氣功能，而聲調語言中的聲調（表現於字調上）則同輔音元音一樣，起著辨義功能。如國語的“媽” m╣、“麻”má、“馬”m╤、“罵”mà，發音相同，但因聲調不同而意義有別。不同聲調語言的音高模式有兩類，一是音階型，只用音階高低分成...
- 分析型語言
與屈折語等綜合型語言相比，分析型語言具有更高程度的語法透明性。定義與特徵 分析型語言（analytic language）以獨立辭彙的固定組合為基本語法形式，通過語序調整、功能詞（如介詞、助詞）添加等方式構建語義關係。其本質特徵包括：辭彙缺乏性數格等形態變化 一詞多義現象普遍存在 依賴上下文語境輔助表意 分類與實例 根據...
- 烏克蘭語(印歐語系斯拉夫語族東斯拉夫語支語言)
烏克蘭語屬屈折型語言，詞法較俄語更為複雜。名詞 烏語名詞有三性、兩數、七格。詞性的區別大致可以從詞尾判斷：1.以輔音結尾的大都是陽性：ліс樹林，герб徽章，чоловік男人 2.以-а、-я結尾的大都是陰性：мова語言，посмішка微笑，пісня歌曲 3.以-о、-е、-...
- Python(計算機編程語言)
Python由荷蘭國家數學與計算機科學研究中心的吉多·范羅蘇姆於1990年代初設計，作為一門叫做ABC語言的替代品。Python提供了高效的高級數據結構，還能簡單有效地面向對象編程。Python語法和動態類型，以及解釋型語言的本質，使它成為多數平台上寫腳本和快速開發套用的程式語言，隨著版本的不斷更新和語言新功能的添加，逐漸被...
- 語言功能分類法
語言功能分類法是通過分析語言承擔的社會功能對語言進行類型劃分的學術方法。該方法將語言分為民族語言、族際語言、區域語言和國際語言四類，其中國際語言使用範圍最大，區域語言次之，族際語言再次之，民族語言使用範圍最小。這種分類體系呈現出層級關係，高層次的類型語言具備低層次類型語言的功能。如法語在2020年12月...
- 編譯型語言
運行編譯型語言是相對於解釋型語言存在的，首先將編譯型語言的原始碼編譯生成機器語言，再由機器運行機器碼（二進制）。像C/C++等都是編譯型語言。編譯型語言：程式在執行之前需要一個專門的編譯過程，把程式編譯成 為機器語言的檔案，運行時不需要重新翻譯，直接使用編譯的結果就行了。程式執行效率高，依賴編譯器，...
- 泰語(泰民族的語言)
泰語是一種分析型、孤立型語言，基本辭彙以單音節詞居多，不同的聲調有區分辭彙和語法的作用。構詞中廣泛使用合成和重疊等手段。隨著泰語的發展，其在文學與藝術領域也取得不朽成績。標準泰語現階段在政府機關、中國小、高校和大眾媒體及官方場合使用，泰國政府和教育部門採取了多樣的方法和策略，參與到泰語的保護和傳承...
- 韓語(韓國的官方語言)
朝鮮語：朝鮮和韓國兩個以朝鮮民族為主體民族的朝鮮半島國家的官方語言，屬粘著型語言，朝鮮語語言屬系一般劃歸為語系未定的孤立語言。元音和諧已日趨鬆弛，是一種殘存現象。輔音中，塞音、塞擦音按鬆緊和氣流的性質分為三套，擦音有鬆緊兩套。體詞有數和格，謂詞有態、尊稱、時、式和階稱（表示對話者之間長幼、...
- 0型語言
0型語言是形式語言理論中由0型文法生成的語言類別。0型文法在喬姆斯基層級中限制最少，允許任意形式的產生式規則。0型語言在計算能力上與遞歸可枚舉語言等價。等價性證明 遞歸可枚舉語言指可由圖靈機枚舉的語言集合，而0型文法所產生的語言，可證明0型語言就是遞歸可枚舉語言。這一結論揭示了0型文法與圖靈機模型間...
- 阿拉伯語(亞非語系閃語族中閃語支語言)
語言地位：聯合國工作語言 使用阿拉伯語的國際組織 聯合國、阿拉伯國家聯盟、伊斯蘭會議組織、非洲聯盟 阿拉伯語管理機構 埃及：Academy of the Arabic Language - مجمع لغة عربية 阿拉伯語語言代碼 ISO 639-1: ar ISO 639-2: ara ISO/DIS 639-3: ara — 阿拉伯語 (一般)歷...
- 中文編程(文化術語)
中文編程通常指的是使用中文字元和語法規則來編寫電腦程式的過程。中文編程在實際套用中還處於起步階段。雖然有一些中文編程語言的嘗試和實驗性項目，但相對於英文程式語言，中文編程的普及程度還不夠高。中文編程作為一種實現用中文進行編程的方式，具備一定的可行性。要實現中文編程的普及，需要解決語法和語義問題，建設...
- 九大語系
論類型，該系語言基本上屬於粘著型。名詞性的詞類分兩種：名詞和形容詞。名詞，包括代名名詞，分為兩類：人類名詞（有理性的）和非人類名詞（無理性的）。人類名詞常有特殊的詞綴，與動詞相適應。名詞變化有兩個基本的格：①直接格（主語）；②間接格，一般具有所有格的含義。加上人稱詞綴形成的派生名詞是達羅毗荼...
- 編譯原理(計算機專業課程)
編譯原理即是對高級程式語言進行翻譯的一門科學技術, 我們都知道電腦程式由程式語言編寫而成, 在早期電腦程式語言發展較為緩慢, 因為計算機存儲的數據和執行的程式都是由0、1代碼組合而成的, 那么在早期程式設計師編寫電腦程式時必須十分了解計算機的底層指令代碼通過將這些微程式指令組合排列從而完成一個特定功能的程式...
- 世界語(於1887年發明創立的一種國際語)
生命力：世界語和其它語言一樣，是活的，不斷在演進；借著它可以表達人類的各種思想與感受。無歧義性：世界語的突出特點之一是無歧義性，無歧義包括言文一致和形意一致兩個方面。輸入法 由於世界語有qwerty鍵盤所缺的六個特殊字母，因此需要專門的鍵盤布局或輸入法輔助。最方便的途徑是安裝《世界語、漢語拼音、法語...
- 漢藏語系
一說認為，漢藏語系發源於中國北方地區，大約六千年前，這一語言共同體分化出單個群體，逐漸產生了方言並最終發展成為單獨的語言，從而形成了漢藏語系中的各種語言。在這種假說中，就分化漢藏語系起源的另一種假說則認為該語系來自當今中國的西南部四川。持這種理論的學者認為，漢藏原始語言的歷史更為悠久，大約在一萬...
- 梵語
德國學者F.博普的《論梵語動詞變位系統與希臘語、拉丁語、波斯語和日耳曼語的比較》(1816)第一次把梵語、波斯、希臘、拉丁、德語諸語言同出一源的情況做了詳細的考證。瓊斯稱為“相似點”的現象， 到這時已發展為對應關係。德國語言學家J.格林（也就是我們熟悉的格林兄弟的哥哥）在他的《德語語法》(1819–1837...
- 南島語系
南島語言屬粘著型語言，主要構詞和構形手段是詞根添上附加成分和詞根的重疊或部分重疊。常用詞大多為雙音節，音節構造較簡單。大多數詞根既能作名詞，也能作動詞。人名、普通名詞、方位名詞分別用不同的冠詞。代詞第一人稱有“我們”和“咱們”的區別。數詞有十進位的，還有五進位甚至四進位的。動詞有式、時、體、...
- 南非語
南非語是流行於南非及納米比亞的一種語言，是南非的官方語言，屬於南非憲法所規定之11種官方語言中的一種。同時也是納米比亞憲法所承認的一種“國家語言”（national language），雖然並不是納米比亞的官方語言（其官方語言是英語）。使用人口 南非語使用人數約620萬，包括100萬同時使用南非語和英語的雙語人口。這個數目...
- 突厥語族
1、各語言元音和諧發展不平衡 2、元音系統的發展 3、語言的地理分布 4、語言的供用 這些討論基本上展示了突厥語族語言元音搭配除和諧外另一個側面的情況，並通過它來反映該語族一些現代語言元音和諧的面貌及其在歷史發展中可能經歷的過程。文字特點 在歷史上先後使用過的書面語言有突厥文（突厥碑銘文字）、回鶻文（...
