在计算机编程语言中，标识符是用來命名編程语言中实体的词法标记（也称为符号）。标识符可以表示的实体类型包括变量、資料類型、标签、子程序和模块。 把標識符分为三类：关键字，预定义標識符，用户自定义標識符 。 由字母（A-Z,a-z）、数字（0-9）、下划线“_”组成，并且首字符不能是数字，但可以是字母或者下划线。...

计算机——根據指令對數據進行處理的機器 计算机体系结构 计算机数据存储——電子設備 计算机伦理 计算机图形学——计算机学科 计算机硬件历史 计算机网络——採用單一技術相互連接的自治電腦 计算机程序——使用计算机语言编写的指令序列，可以执行特定的计算机工作 计算机科学——研究信息和計算的理論基礎 计算机科学家 计算机安全——保護電腦系統與網路避免竊盜、損毀或資料洩漏...

编程语言（英語：programming language），是用来定义计算机程序的形式語言。它是一种被标准化的交流技巧，用来向计算机发出指令，一种能够让程序员准确地定义计算机所需要使用数据的计算机语言，并精确地定义在不同情况下所应当采取的行动。 最早的编程语言是在電腦發明之前產生的，當時是用來控制提花織布機（英语：Jacquard...

符集排序方法；当浏览文件时，系统会使用「用户选择的排序」来排列文件。 计算机中一套定义用户的语言、国家和用于定义用户希望在其用户界面上看到的各种可以改变的选择的参数集合。通常一个区域设置标识符至少包括一个语言标识符和一个区域标识符。 在UNIX和Windows中，区域设置的控制是不同的。在UNIX下...

汇编语言（英語：assembly language）是任何一种用于电子计算机、微处理器、微控制器，或其他可编程器件的低级语言。在不同的设备中，汇编语言对应着不同的机器语言指令集。一种汇编语言专用于某种计算机系统结构，而不像许多高级语言，可以在不同系统平台之间移植。 使用汇编语言...

高级编程语言（High-level programming language）是高度封装了的编程语言，与低级语言相对。它是以人類的日常語言為基礎的一種編程語言，使用一般人易於接受的文字來表示，有較高的可讀性，以方便對電腦認知較淺的人亦可以大概明白其內容。由於早期電腦業的發展主要在美國，因此一般的高階語言...

標識符（英語：identifier，縮寫ID）又稱識別碼，是一個用來識別物件的名稱，識別對象可能是概念、具體可數的物體或是不可數的物質。標識符可能是字、編號、字母、符號，也可能是由上述元素所組成。 在编程语言中，標識符就是程序员自己规定的具有特定含义的词，比如类名称，属性名称，变量名等。...

置标语言（英語：markup language），也称置标语言、标记语言、标志语言、标识语言、標示語言，是一種将文本（Text）以及文本相关的其他信息结合起来，展现出关于該網頁结构和数据的计算机文字编码。与文本相关的其他信息（包括例如文本的结构和連結等）与原来的文本结合在一起，但是使用标记（mar...

一些编程语言是大小写敏感的，例如Java、C++、C♯、C语言、Ruby以及XML。其他的编程语言则并不是大小写敏感的，例如大多数BASIC（除了BBC BASIC）、Fortran、SQL和Pascal。同时，在Haskell、Prolog和Go这些语言，大写字母的标识符可以进行形式语义学的编码。 Kernighan, Brian...

x86系列微处理器的拷贝指令代码。 某一个计算机所支持的指令集就是该计算机的机器语言。因此，使用流行的机器语言将会使既成软件在一部新计算机上运行得更加容易。所以对于那些机型商业化软件开发的人来说，它们通常只会关注一种或几种不同的机器语言。 更加强大的小型计算机，大型计算机和服务器可能会与上述计算机有所不同。它们通常将任务分担给不同的CPU来执行。今天，...

机器语言是用二进制代码表示的、计算机能直接识别和执行的一种机器指令的集合。它是计算机的设计者通过计算机的硬件结构赋予计算机的操作功能。机器语言具有灵活、直接执行和速度快等特点。不同种类的计算机其机器语言是不相容的，按某种计算机的机器指令编制的程式不能在另一种计算机上执行。 要用机器语言编写程序，编程人员需首先熟记所用计算机...

量子计算机（英語：Quantum computer）是一种使用量子力学進行通用計算的設備。但這与电子计算机（或稱傳統電腦）不同，量子計算用來儲存數據的對象是量子位元，它使用量子演算法操作數據。然而，与经典计算机的比特只能处于两个状态之一（0或1）不同，量子比特可以处于这两个基态之间的叠加态，也就是...

在计算机编程中，声明是一种指定标识符属性的语言结构。 声明最常用于子程序、变量、常量和类，但也可用于其他实体，例如枚举。 声明通常還能指定資料類型（对于变量和常量）以及类型签名（对于函数） 。 "A declaration specifies the interpretation and attributes...

Io语言是一门计算机高级编程语言，其发展历史并不长，2002年3月7日由Steve Dekorte研发出来。 Io语言因为没有关键字，因而很容易进行扩展，并很灵活。 Io语言并非主流编程语言，但其学习价值和启发价值都很高。这门语言吸收了LISP、Lua、Smalltalk等语言的特点。 Io语言...

GOTO是一条可以在许多计算机编程语言中找到的语句。它是英文单词go和to的组合。当执行这条语句的时候，它将控制流程无条件地转到另一条语句（也叫「跳转」）。跳转语句需要指明標記，在不同语言中，標記可以是标识符或行号。在机器码级别，goto是一种分支的形式。 在一些语言...

标识符。通过“保留”这个术语，它们可以在Java的未来版本中补充，而不需要“破坏”旧的Java源代码。不像预定义函数、方法和子程序，保留字不能被程序员定义，而前面那些的名称通常被归类于标识符，而不是保留字。 不是所有的编程语言都有相同数量的保留字。例如，Java（以及其他C语言派生的语言...

x_{2}=0,x_{3}=50,x_{4}=51} 注意： 枚举中每个成员（标识符）结束符是「,」, 不是「;」,最后一个成员可省略「,」。 初始化时可以赋负数，以后的标识符仍依次加1。 枚举变量只能取枚举说明结构中的某个标识符常量。 例如： enum string { x1=5, x2, x3, x4...

计算机编程中，作用域是名字（name）与实体（entity）的绑定（binding）保持有效的那部分计算机程序，表达式只有在其作用域中才能求值。作用域解析运算符（scope resolution operator）用于辨识和指出标识符属于哪个作用域上下文，特别是属于哪个命名空间。很多编程语言的作用域解析运算符写为::。...

理論計算機科學（英語：Theoretical computer science，縮寫为TCS）是计算机科学的一个分支，它主要研究有关计算的相对更抽象化，逻辑化和数学化的问题，例如计算理论，算法分析，以及程序设计语言的语义。尽管理论计算机科学本身并非一个单独的研究主题，从事这个领域的研究人员在電腦科學的研究者里自成一派。...

在数学、逻辑和计算机科学中，形式语言（英語：Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面：语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言...

程序里的指令都是基于机器语言。程序通常由一个计算机程序设计语言编写，然后由该语言的编译器（或者，有时由汇编程序）编译为机器语言。 冯·诺伊曼结构又做普林斯顿结构，在一台基于最常见的冯诺依曼体系结构的计算机上，程序从某种外部设备，通常是硬盘，被加载到计算机之內。 如果计算机选择冯诺依曼体系结构，那么程序就被加载入内存。...

一些命名规范是作为语法在语言层面强制执行的。在大多数语言当中，变量名不能以数字开头，不能包含空格符。而标点符号是否允许存在在变量名当中就要视具体语言而定了。很多语言仅仅允许下划线_存在在变量名当中，而禁止其他所有的标点符号；而有些编程语言，特殊字符作为前缀或后缀添加在变量标识符...

计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机...

源代码（英語：source code），是指一系列人类可读的计算机语言指令。 在现代程序语言中，源代码可以是以书籍或者磁带的形式出现；但最常用的格式是文本文件，这种典型格式的目的是为了编译出计算机程序。计算机源代码的最终目的是将人类可读的文本翻译成为计算机可以执行的二进制指令，这种过程叫做编译，通过编译器完成。...

字母表在形式语言、自动机和半自动机理论中相當重要。自动机如确定有限状态自动机（DFA）要求在形式定义中有字母表。 如果L是一种形式化语言，即一个（可能是无限的）有限长度字符串的集合，那么L的字母表就是L的任何字符串中出现的所有符号的集合。例如，如果L是C编程语言中所有变量标识符的集合，那么L’的字母表就是集合{...

mangling），是现代计算机程序设计语言的编译器用于解决由于程序实体的名字必须唯一而导致的问题的一种技术。 它提供了在函数、结构体、类或其它的数据类型的名字中编码附加信息一种方法，用于从编译器中向链接器传递更多语义信息。 该需求产生于程序设计语言允许不同的条目使用相同的标识符...

在计算机科学中，符号表是一种用于语言翻译器（例如编译器和解释器）中的数据结构。在符号表中，程序源代码中的每个标识符都和它的声明或使用信息绑定在一起，比如其数据类型、作用域以及内存地址。 散列表是用来实现符号表的一种常用技术。编译器可能会使用一个很大的符号表来包含所有的符号，或是针对不同的作用域使用层次结构的多个独立的符号表。...

在計算機科學的編程中，敘述（又稱陈述式、叙述、述句、描述式、陳述句）是指令式編程語言中最小的獨立元素，表達程序要執行的一些動作。多數敘述是以高階語言編寫成一或多個敘述的序列，用於命令計算機執行指定的一系列操作。單一個敘述本身也具有內部結構（例如表達式）。 許多語言（例如說，C語言...

标识符． 主要责任者．题名：其他题名信息［文献类型标识/文献载体标识］．年，卷（期）–年，卷（期）．出版地：出版者，出版年［引用日期］．获取和访问途径．数字对象唯一标识符． 析出文献主要责任者．析出文献题名［文献类型标识/文献载体标识...

大多数架构的机器语言不区分有符号数及无符号数。然而算术指令通常设定进位标志等CPU标志，为无符号算术及溢出标志设定。这些标志能够被带入随后的分支及算术指令中。 C语言及大部分C的派生语言为其所有有符号数类型及char类型提供了对应的无符号类型。在这些语言中，若存在显式的unsigned标识符，则将此数标识...

Form）是表达作为描述计算机编程语言和形式语言的正规方式的上下文无关文法的元语法(metalanguage)符号表示法。它是基本巴科斯范式(BNF)元语法符号表示法的一种扩展。 它最初由尼克劳斯·维尔特开发，最常用的 EBNF 变体由标准，特别是 ISO-14977 所定义。 扩展巴科斯范式是一种表达形式语言...