5.4 程序
本章节描述了 Reach 程序的结构和内容，包括其语法形式、标准库和有效程序的标准。
本节的剩余部分依照 Reach 程序的不同部分构建章节，如下所示：
•有效性描述了 Reach 中有效的含义。
•模块描述 Reach 模块的顶层结构。
•步骤描述 Reach 步骤的结构。
•本地步骤描述 Reach 本地步骤的结构。
•共识步骤描述 Reach 共识步骤的结构。
•计算描述了 Reach 计算的通用结构，这些通用结构由所有场景共享。
图17显示了 Reach 应用程序模式之间的关系。
图17: Reach 应用程序的节点
