中华人民共和国国家标准 UDC 621. 3. 06 : 800.92 程序设计语言 Pascal GB7591—87 Programming language Pascal 1 引言 1.1本标准等效采用国际标准ISO7185一1982《计算机程序设计语言Pascal规格说明》。 1.2本标准通过规定处理程序和相符程序的要求来规定计算机程序设计语言Pascal的语法和语义， 对处理程序和程序均定义了两级规格。 1.3本标准不规定： 程序及其数据的大小或复杂性，它们或者会超出指定数据处理系统的能力，或者会超出特定处 理程序的能力，以及在超出相应限制时所要采取的动作； b. 能支持Pascal处理程序实现的数据处理系统的最低要求； c. 激活程序分程序的方法，或对于变换和执行Pascal程序所处环境加以控制的命令集合； d. 供数据处理系统用的变换Pascal程序的机制； e. 报告差错或提出警告的方法； f. 出版供人阅读的程序的印刷表示。 2 引用标准 GB1988一80《信息处理交换用的七位编码字符集》。 3 定义 本标准采用下列定义。 注：为使语言概念醒目，本标准有些术语在其首次出现时用黑体字印刷。 3. 程序对本标准要求的违反，但允许处理程序不予查究。 注：①若构造一个程序，对其是否违反本标准，需要了解该程序所读的有关数据资料或由实现所定义的特性的有关 实现定义资料，凡违反要求的则归类为差错。处理程序可以不需要有关资料就能报告这种要求的违反，但总 有一些情况需要一个执行或模拟执行过程，或需要用有关资料的证明过程。无需有关资料就能验证的要求 不归类为差错。 ②处理程序应该指望尽可能多而全地查找差错，若查错给实现带来额外的负担，或实现达不到最高质量，便允 许实现略去查错。 3.2扩充 对本标准第6章的修正（除禁止使用一个或多个特殊的标识符拼写外），既不应使遵从本标准要小 的任何程序成为无效（如5.2条所定义的），也不应改变任何和实现有关的特性的状态和差错。 3.3由实现所定义的（成分） 可以随处理程序而异，但对任何特定的处理程序而言，都要有定义。 3.4和实现有关的（成分） 国家标准局1987-03-27批准 1987-12-01实施 GB 7591—87 可以随处理程序而异，但对任何特定的处理程序而言，不-一定非定义不可。 3.5处理程序 处理程序是一个系统或一种机制，它接受程序作为输入，使其作好执行的准备，利用数据执行如此 定义的进程以产生结果。 注：处理程序可由下列部分组成：解释程序，编译程序和运行系统，或其它机制，以及有关的宿主计算机及操作系统 或能起同样作用的其它机制。例如，单独一个编译程序并不构成处理程序。 4定义性的约定 本标准中用来规定语言构造的语法的元语言以巴科斯一瑙尔范式为基础。为了便于描述和可用迭 代产生式代替递归产生式，对该范式的表示法作了一些修改，表1列出各种元符号的含义。语言构造的 进一步规格说明用文字描述给出，在某些场合下用等价的程序片断给出。在第6章里作为需求标识符 定义的任何标识符，在程序片断里出现就表记相应的需求实体，这种程序片断在其它方面都受本标准有 关要求的约束。 表1元 元语言符号 元符号 含 义 定义为 > 另一种定义为 或者 定义结束 [x] x的0次或1次出现 (x) x的0次或多次出现 (xly) 组合：不是x就是y "xyz" 终极符xy2 元标识符 非终极符 元标识符以汉文表示1)。 一个产生式里一串终极符和非终极符隐含了它们最终表示的正文并置，在第6.1条里，这种并置是 直接的，不应插入任何字符。在本标准的其它部分中，并置与第6.1条的规则相一致。 构成Pascal程序所需要的字符，应是为构成在第6.1条里定义的分隔符和记号所隐式要求的那些 字符。 在表示终极符之间或非终极符之间关系时使用的词的（of)、中（in (closest-containin y的x(the x of a y):指的是x直接出现在定义y的一个产生式中。 y中的x(the xi 包含x的y(aycontaininganx)指的是任何直接或间接导出x的y。 最紧包含x的y(the y closest-containing an x)： 指的是包含x的y，但此y不包含另一个包含x的y。 在第6章里，为规定某些语法要求使用了这些语法约定，在某些语义规格说明的上下文中也使用这 些约定。 采用说明：