0型語言（type-0 language）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名：0型語言
- 外文名：type-0 language
- 所屬學科：計算機科學技術
- 公布時間：2018年
- 審定機構：全國科學技術名詞審定委員會
定義,出處,
定義
0型文法所產生的語言，可證明0型語言就是遞歸可枚舉語言。
出處
《計算機科學技術名詞 》第三版
0型語言
相關詞條
- 0型語言
0型語言（type-0 language）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義0型文法所產生的語言，可證明0型語言就是遞歸可枚舉語言。1出處《計算機科學技術名詞 》第三版...
- 形式語言理論
由0型文法產生的形式語言恰是圖靈機所識別的語言類，即遞歸可枚舉語言。②1型文法。又稱為上下文有關文法。這種文法要求生成式a→β滿足|a|≤|β|，即β要至少和a一樣長。由1型文法產生的語言稱為1型語言或上下文有關語言。1型語言恰是非確定型線性有界自動機所識別的語言類。③2型文法。又稱為上下文無關...
- 上下文有關語言
0型文法產生的語言稱為0型語言。1型文法產生的語言稱為1型語言，也稱作上下文有關語言。2型文法產生的語言稱為2型語言，也稱作上下文無關語言。3型文法產生的語言稱為3型語言，也稱作正規語言。計算性質 上下文有關語言的可計算性等價於線性有界非確定圖靈機。它是磁帶只有kn個單元的非確定圖靈機，這裡的n是輸入...
- C語言0基礎入門
C語言是一種電腦程式設計語言。C語言對作業系統和系統使用程式以及需要對硬體進行操作的場合，用C語言明顯優於其它解釋型高級語言，有一些大型套用軟體也是用C語言編寫的。一、概述 上 下 二、變數和常量 三、運算符 四、表達式和語句 五、編寫第一個C語言程式 六、條件語句 七、循環語句和循環控制 八、數組 ...
- 解釋型語言
相對於編譯型語言存在的，原始碼不是直接翻譯成機器語言，而是先翻譯成中間代碼，再由解釋器對中間代碼進行解釋運行。比如Python/JavaScript / Perl /Shell等都是解釋型語言。解釋型語言：程式不需要編譯，程式在運行時才翻譯成機器語言，每執 行一次都要翻譯一次。因此效率比較低。比如Basic語言，專門有一個解釋器能夠...
- Qbasic語言
常量是指在程式執行過程中，其值永遠不能改變的數據。例如 5.4、10.3、2等都是常量。在 QBASIC語言中有兩種類型的常量：數值常量和字元串常量。1、數值常量 數值常量又包括整型常量和實型常量兩類。（1）整型常量 整型常量只包括阿拉伯數字（0～9），不能在數字之間出現分位符號。如－54、+32等都是合法的Q...
- 語言類型分類法
語言類型分類法，亦稱“語言形態分類法”。根據語言的結構特點對世界語言的分類。如按詞的構造和詞素關係分為孤立語、黏著語、屈折語和多式綜合語等；按語法手段分成分析語、綜合語；按句子成分詞序分為主動賓型、主賓動型、賓主動型、賓動主型等。也可以按側重主語或主題對語言進行分類。語言類型分類法有助於語言...
- 整型(計算機語言)
一個 integer 是集合 Z = {..., -2, -1, 0, 1, 2, ...} 中的一個數。【以PHP語言為例】參見：任意長度整數 / GMP，浮點數和 任意精度數學庫 / BCMath。語法 整型值可以用十進制，十六進制或八進制符號指定，前面可以加上可選的符號（- 或者 +）。如果用八進制符號，數字前必須加上 0（零），...
- 捷克語(印歐語系斯拉夫語族西斯拉夫語支語言)
捷克語（捷克語：Čeština；英語：Czech language），是捷克共和國的官方語言，與斯洛伐克語可以互通。捷克語與波蘭語、斯洛伐克語、索布語等都屬於印歐語系斯拉夫語族西斯拉夫語支。捷克語是一種非常難學的語言。其中一個原因，就是捷克語語法形態豐富。據統計，捷克語的形態超過200種。字母 簡介 捷克語使用42個...
- short(C語言中的整數類型)
無符號型：類型說明符為unsigned。無符號型又可與上述三種類型匹配而構成：無符號基本型：類型說明符為unsigned int或unsigned。無符號短整型：類型說明符為unsigned short。無符號長整型：類型說明符為unsigned long。下表列出了C語言中各類整型數據所分配的記憶體位元組數及數的表示範圍。測試不同整數類型所占的位元組數的...
- Pascal(結構化編程語言)
(1)整型數：如9、3、-5、0等。(2)實型數：如3.1、-6.1E+20等。(3)字元串：是用單引號括起來的一串字元，如，’book’、’96·5’、’ABC’等。以上列舉的都可以作為常量在程式中使用。為了提高程式的可讀性並使程式便於修改，在程式中往往用一些標識符來代表具體的常量。在Turbo Pascal語言中，可以...
- J語言
J語言屬於第五代的函式型語言，它是由APL語言創始人，加拿大著名數學 家Ken E.Iverson於90年代初發明，並由Eric和Roger Hui完成。該語言是APL的後繼式語言， J語言和APL語言原理基本相同，但是它不使用APL的象形文字，而使用ASCII字元,功能也比AP L更完善、更簡潔、更強大。它適用於各種微機和多種操作平台，包括...
- 易語言
2、運行報毒。雖然如此，但是易語言5.0正式版已經支持了靜態編譯，被誤報的可能性減小，而且編譯的檔案大小也大大縮小！另外，由於易語言程式的運行方式存在特殊性，單個空白程式就達到400~500KB，當前易語言拓展外掛程式：斬月，黑月的一些模組可以把易語言編譯的程式縮小，縮小後的空白程式僅為10KB左右。易語言編寫的程式...
- char(計算機語言關鍵字)
（1）定義：char型數據是計算機編程語言中只可容納單個字元的一種基本數據類型。（2）取值範圍：char ： -2^7 ~ 2^7-1 ；signed char： -2^7 ~ 2^7-1 unsigned char ： 0 ~ 2^8-1 而且關於char還有一個特殊的語言就是char *，它在C/C++中有專門的語義，既不同於signed char *，也不同於...
- 喬姆斯基層次結構
∈(∑∪V) *。短語結構文法又稱為0型文法。因對a和 不加任何限制，故也稱其為無限制文法。0型文法生成的語言類與圖靈機接受的語言類相同，稱為0型語言類(常用L。表示)或遞歸可枚舉語言類(常用Lre表示)。短語結構文法的標準型為：A→ξ，A→BC，A→∧，AB→CD，其中ξ∈(∑∪V)，A，B，C，D∈v，...
- 無限制文法
無限制文法又稱為0型文法。這種文法對生成式a→β不作特殊限制，a和β可以是任意的文法符號串，當然a不能是空字元串。簡介 在形式語言理論中，無限制文法是對文法的產生式左右兩側都沒有限制的形式文法。這是喬姆斯基層級中最一般性的文法類，它們可以識別任意的遞歸可枚舉語言。形式定義 無限制文法是形式文法 ，...
- 喬姆斯基文法
0-型文法（無限制文法或短語結構文法）包括所有的文法。該類型的文法能夠產生所有可被圖靈機識別的語言。可被圖靈機識別的語言是指能夠使圖靈機停機的字串，這類語言又被稱為遞歸可枚舉語言。注意遞歸可枚舉語言與遞歸語言的區別，後者是前者的一個真子集，是能夠被一個總停機的圖靈機判定的語言。1-型文法（上下文...
- 喬姆斯基譜系
喬姆斯基體系是由諾·喬姆斯基於1956年提出的，是刻畫形式文法表達能力的一個分類譜系。簡介 它包括四個層次：0-型文法（無限制文法或短語結構文法）包括所有的文法。該類型的文法能夠產生所有可被圖靈機識別的語言。可被圖靈機識別的語言是指能夠使圖靈機停機的字串，這類語言又被稱為遞歸可枚舉語言。注意遞歸可枚舉...
- 形式語法
0型文法也稱短語文法。一個非常重要的理論結果是：0型文法的能力相當於圖靈機(Turing)。或者說，任何0型文語言都是遞歸可枚舉的，反之，遞歸可枚舉集必定是一個0型語言。0型文法是這幾類文法中，限制最少的一個，所以我們在試題中見到的,至少是0型文法。1型文法 1型文法也叫上下文有關文法，此文法對應於線性...
- 編程(編寫程式代碼的中文簡稱)
C語言：一種面向過程的電腦程式設計語言，廣泛套用於底層開發和系統編程。O語言：一款中文計算機語言，包含彙編語言、中間語言、高級語言等多個層次。AAuto：一種專為桌面軟體快速開發設計的新型混合型程式語言。APL、A+和J：屬於數組程式語言，強調數學符號和數組操作。Ada：一種功能強大的通用程式設計語言，注重安全性...
- 內置類型
顧名思義，就是某種語言自己定義的一些東西，例如：變數類型，類等。比如“c# 中的內置類型庫是什麼意思”答案：“說白了就是C#自己寫的一些類”C/C++ 整型（Interger）分類一術類型 分類一 字元型 char wchar_t 表示字元: 擴展字元集，如漢字和日語 整型 short 存儲空間: 16bit, 半個機器字（word）長 int...
- 字元型量
這是與BASIC 語言不同的。但是可以用一個字元數組來存放一個字元串常量。在數組一章內予以介紹。4.字元常量占一個位元組的記憶體空間。字元串常量占的記憶體位元組數等於字元串中位元組數加1。增加的一個位元組中存放字元"\0"(ASCII碼為0)。這是字元串結束的標誌。例如，字元串 "C program"在記憶體中所占的位元組為：C ...
- 實型常量
在數學中，一個可以用冪的形式來表示，如2.3026可以表示為0.23026×10^1 2.3026×10^0 23.026×10^-1等形式。在C語言中，則以“e”或“E”後跟一個整數來表示以“10”為底數的冪數。2.3026可以表示為0.23026E1、2.3026e0、23.026e-1。C語言語法規定，字母e或E之前必須要有數字，且e或E後面的...
- 統一碼
統一碼是為了解決傳統的字元編碼方案的局限而產生的，它為每種語言中的每個字元設定了統一併且唯一的二進制編碼，以滿足跨語言、跨平台進行文本轉換、處理的要求。發展歷程 1990年開始研發；1994年正式發布1.0版本；2024年9月10日發布16.0.0版本。2024年5月22日，Unicode 聯盟開啟了 Unicode 16 的測試審查，此次...
- 軟體技術基礎(2019年湖南大學出版社出版的圖書)
2．2．2 編譯型語言 2．2．3 解釋型語言 2．2．4 什麼是跨平台 2．3 計算機語言 2．3．1 低級語言 2．3．2 高級語言 2．4 DOS命令 2．4．1 什麼是DOS 2．4．2 如何進入DOS命令框 2．4．3 使用dir命令顯示檔案信息 2．4．4 使用cd命令進入目錄 2．4．5 使用md命令創建目錄 2．4．6 使用...
- 世界語(於1887年發明創立的一種國際語)
世界語（Esperanto）是由波蘭籍猶太人眼科醫生拉扎魯·路德維克·柴門霍夫（Ludwig Lazarus Zamenhof）博士在印歐語系的基礎上於1887年7月26日發明創立的一種人造語言。他期待這門語言能夠為不同語言人群的交流提供便利，能夠幫助人們跨越語言、膚色、種族、地域等界限，用同一個身份——世界公民來平等、友好地相處，而...
- 轉義字元
字元型常量 C語言中字元型常量所表示的值是int型所能包含的值。可以用ASCII表達式來表示一個字元型常量，或者用單引號內加反斜槓表示轉義字元。'A', '\x2f', '\013';其中：\x表示後面的字元是十六進制數，\0表示後面的字元是八進制數。例如十進制的17用十六進制表示就是 ‘\x11’,用八進制表示就是‘\021...
- 關係運運算元
關係運運算元在計算機科學的編程語言中，是測試或定義兩個實體之間某種關係的構造或操作符。這些包括數值等式和不等式（例如 5 = 5 和 4≥3）。在具備布爾型別的程式語言中（如 Pascal，Ada 或 Java），這些運算符通常根據兩個操作變數之間的條件關係是否成立，判定為真或假。諸如 C 語言中關係運運算元返回整數 0 ...
- Asynchronous JavaScript And XML
3.2 SAJAX（可用，但是不是1.0版本；自從2005年3月）網站是：http:///sajax/，直接把調用從Javascript傳送到你的伺服器端語言並再次回返。3.3 Javascipt對象標誌（JSON）和JSON-RPC JSON(http/index.html），是一個"胖的自由的XML選擇"，而JSON-RPC(/）是一種遠程過程協定，類似於XML-RPC，強有力支持...
- C++
0 C++ 語音 編輯 鎖定 討論 上傳視頻 上傳視頻 C++是C語言的繼承,它既可以進行C語言的過程化程式設計,又可以進行以抽象數據類型為特點的基於對象的程式設計,還可以進行以繼承和多態為特點的面向對象的程式設計。C++擅長面向對象程式設計的同時,還可以進行基於過程的程式設計,因而C++就適應的問題規模而論,大小由之...
