12.33 一个程序的 ``合法", ``有效" 或 ``符合" 到底是什么意思？

简单地说, 标准谈到了三种符合: 符合程序、严格符合程序和符合实现。

``符合程序" 是可以由符合实现接受的程序。

``严格符合程序" 是完全按照标准规定使用语言, 不依赖任何实现定义、 未确定或未定义功能的程序。

``符合实现" 是按标准声称的实现的程序。 参考资料: [ISO, Sec.]; [Rationale, Sec. 1.7]。