0型語言（type-0 language）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名：0型語言
- 外文名：type-0 language
- 所屬學科：計算機科學技術
- 公布時間：2018年
- 審定機構：全國科學技術名詞審定委員會
定義,出處,
定義
0型文法所產生的語言，可證明0型語言就是遞歸可枚舉語言。
出處
《計算機科學技術名詞 》第三版
0型語言
相關詞條
- 0型語言
0型語言（type-0 language）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義0型文法所產生的語言，可證明0型語言就是遞歸可枚舉語言。1出處《計算機科學技術名詞 》第三版...
- 上下文有關語言
0型文法產生的語言稱為0型語言。1型文法產生的語言稱為1型語言，也稱作上下文有關語言。2型文法產生的語言稱為2型語言，也稱作上下文無關語言。3型文法產生的語言稱為3型語言，也稱作正規語言。計算性質 上下文有關語言的可計算性等價...
- 形式語言理論
由0型文法產生的形式語言恰是圖靈機所識別的語言類，即遞歸可枚舉語言。②1型文法。又稱為上下文有關文法。這種文法要求生成式a→β滿足|a|≤|β|，即β要至少和a一樣長。由1型文法產生的語言稱為1型語言或上下文有關語言。1型...
- 形式語言
0型文法也稱短語文法，0型文法的能力相當於圖靈機（Turing），或者說任何0型語言都是遞歸可枚舉的。1型文法也稱上下文有關法，其能力相當於線性界限自動機。2型文法也稱上下文無關法，其能力相當於非確定的下推自動機。3型文法也稱右...
- plo(計算機編程語言)
在PL/0語言的編譯文本中，除了常量和變數說明外，共有18個相互嵌套或並列的過程(或函式)。現對這些過程和函式作扼要說明。(1)error(n)：其功能是報告PL/0源程式的出錯信息。n為錯誤類型號，共可查出36種錯誤。(2)getsym：詞法分析...
- 語法(語言的行文法則)
漢語是SVO型語言：陳述句一般順序是：主語+動詞+賓語。日語是SOV型語言：陳述句的順序是：主語+賓語+動詞。英語：由於沒有量詞，數詞可以直接和名詞組合。如：a table(桌子)/a pen(鋼筆)。漢語口語數詞一般不能直接與名詞組合，中間要...
- C語言0基礎入門
C語言是一種電腦程式設計語言。C語言對作業系統和系統使用程式以及需要對硬體進行操作的場合，用C語言明顯優於其它解釋型高級語言，有一些大型套用軟體也是用C語言編寫的。一、概述 上 下 二、變數和常量 三、運算符 四、表達式和語句...
- Qbasic語言
在QBASIC語言中，沒有專門設定邏輯型常量和邏輯型變數，而是用數值來代表邏輯值。規定以“0”代表“假”，以“-1”代表“真”。邏輯運算符和邏輯表達式 1、邏輯運算符 QBASIC語言提供了3個邏輯運算符，按優先權從高到低如下：NOT（...
- 泰米爾語(印度憲法承認的語言之一)
學制四年。每四年招生一次，課程設定除了語言技能，還包括地區研究、經濟學、法學、社會學等學科方向課程。北京外國語大學泰米爾語專業將為中國培養精通泰米爾語語言和文化、翻譯水平過硬、具有學術研究初步能力的的高水平複合型外語人才。
- 元語言
元語言又稱“純理語言”、“第二級語言”。被用來談論、觀察和分析另一種語言的符號語言。可以是自然語言，如學習外語時用於解釋外文的本民族語言;也可以是一套語言符號，如科學技術術語、學術術語等。被談論、觀察和分析的語言為“對象...
- 阿拉伯語(亞非語系閃語族中閃語支語言)
阿拉伯語現為18個阿拉伯國家和地區的官方語言，查德、坦尚尼亞的官方語言之一，同時也是聯合國、非洲聯盟、海灣阿拉伯國家合作委員會、阿拉伯國家聯盟、伊斯蘭合作組織等國際組織的工作語言之一。以阿拉伯語作為母語的人數超過2.6億人，全球範圍...
- COBOL語言
1956年在美國富蘭克林學會召開的高級語言學術討論會上提出FLOWMATIC語言，並在UNIVAC Ⅰ型計算機上實現。這是第一個面向數據處理的語言,它為COBOL的誕生創造了良好的條件。1959年5月美國國防部召開專門會議,討論建立通用商業語言的要求和可能...
- 印地語(印歐語系印度語族語言)
和印地語通屬一脈的烏爾都語是巴基斯坦的官方語言，一共有1億零80萬使用者 。在其他國家和地區，印地語是重要的少數民族語言，例如在斐濟、蓋亞那、蘇利南、特立尼達和多巴哥和阿拉伯聯合酋長國。在印度，印地語是安達曼-尼科巴群島、...
- 言語風格
言語風格是語言風格學的核心術語，是語言風格理論研究必須回答的首要問題。關於什麼是語言風格，學術界的看法並不一致。一般來說，“語言風格是人們運用語言表達手段形成的諸特點的綜合表現，它包括語言的民族風格、時代風格、流派風格、個人...
- LOGO語言
5.LOGO語言的過程可遞歸調用。利用這個特性，就能夠方便地編制出高水平的、複雜的結構化程式。6.LOGO語言中的變數允許以任意類型的數據賦值。不象BASIC語言，在字元型變是的名字後加後綴“$”，也不象其它高級語言，要預先說明變數的...
- 泰語(泰民族的語言)
泰語是一種分析型、孤立型語言，基本辭彙以單音節詞居多，不同的聲調有區分辭彙和語法的作用。構詞中廣泛使用合成和重疊等手段。歷史沿革 像世界上其它許多語言一樣，泰語是一種複雜的多元化的混合體。泰語中的許多辭彙來源於古漢語、古...
- 非過程語言
函式型程式設計語言是或不包含賦值語句或不包括GOTO語句的語言。因此，“函式型”看來是“非過程”的同義詞，因為它更多地包含對輸入函式所要求的輸出的規定，而不是指出程式步驟的逐步序列。用諸如純Lisp這樣的函式型語言編寫的程式可避免...
- 語言特色
語言特色，又稱語言特點，泛指一切語言相別於其它語言的風格特點。文化背景和情境的不同，使被選用的交流方式存在差異，這些差異，就是語言特色形成的基礎。簡介 文化背景和情境的不同，使被選用的交流方式存在差異，這些差異，就是語言...
- 無限制文法
無限制文法又稱為0型文法。這種文法對生成式a→β不作特殊限制，a和β可以是任意的文法符號串，當然a不能是空字元串。簡介 在形式語言理論中，無限制文法是對文法的產生式左右兩側都沒有限制的形式文法。這是喬姆斯基層級中最一般性的...
- BOOL
0表示false，非0表示true。可能使用char類型表示一個布爾類型，也可能使用int類型表示一個布爾類型。很多函式館都定義了自己的布爾類型和相應的宏，枚舉，typedef。C99把C語言原生的布爾類型帶來了。C99中同時增添的關鍵字還有_Complex，_...
- 5GL
在計算機行業中，通常有幾代語言來表示語言的發展。例如：1GL、2GL、3GL、4GL等,本文通過5GL介紹幾代語言的發展介紹。在計算機行業中，通常有幾代語言來表示語言的發展。1GL或第一代語言是機器語言或者機器能夠直接執行的語言，也就是0...
- Haskell
在俄勒岡波特蘭的函式式編程語言與計算機結構大會（FPCA '87）上，參加者一致同意形成一個委員會來為這樣的語言定義一種開放性標準。該委員會旨在集成已有函式式語言，作為將來的函式式語言設計研究工作的基礎。Haskell 1.0至1.4 1990年...
