在伪代码中，每一条指令占一行(else if 例外)，指令后不跟任何符号 书写上的缩进表示程序中的分支结构；同一模块中的语句具有相同的缩进量，通常每个算法开始时都要描述它的输入和输出，而且算法中的每一行都给编上行号，在解释算法的过程中会经常使用算法步骤中的行号来指代算法的步骤。

算法中出现的数组、变量可以是以下类型：整数、实数、字符、位串或指针。定义变量的语句不用写出来，但必须在注释中给出

指令：在算法中的某些指令或子任务可以用文字来叙述，例如，”设x是A中的最大项”，这里A是一个数组；或者”将x插入L中”，这里L是一个链表。这样做的目的是为了避免因那些与主要问题无关的细节使算法本身杂乱无章。

算术表达式可以使用通常的算术运算符（+，-，*，/，以及表示幂的^）。逻辑表达式可以使用关系运算符=,≠,,≤和≥，以及逻辑运算符与(and),或（or），非（not）。

赋值语句是如下形式的语句：a←b 。 这里a是变量、数组项，b是算术表达式、逻辑表达式或指针表达式。语句的含义是将b的值赋给a。 变量交换：若a和b都是变量、数组项，那么记号ab 表示a和b的内容进行交换。

goto语句具有形式

它将导致转向具有指定标号的语句。

条件语句：

有两种循环指令：while和for。 while语句的形式是