程序通常由以下几个主要部分构成：
数据结构：
数据结构是程序中数据的表示方式，包括数据的组织形式，如数组、链表、树、图等。数据结构定义了数据元素之间如何相互关联和操作。
算法：
算法是程序中执行特定任务的步骤和方法，它描述了如何从输入数据得到期望的输出结果。算法是程序的核心，决定了程序的功能和效率。
程序设计方法：
程序设计方法是指用于设计程序的结构和流程的方法，包括模块化、递归、分治等。这些方法帮助程序员组织代码，使其易于理解和维护。
计算机语言：
程序需要使用一种计算机语言来表示，如C、Java、Python等。语言的选择会影响程序的可读性、可移植性和执行效率。
常量、变量、函数和表达式：
这些是构成程序的基本元素，常量是固定值，变量用于存储数据，函数用于执行特定任务，表达式用于进行计算。
语句：
语句是程序的基本单位，由一系列指令组成，用于控制程序的执行流程。语句包括赋值语句、条件语句、循环语句等。
模块和子程序：
程序可以划分为多个模块或子程序，每个模块或子程序负责完成特定的功能。模块化可以提高程序的可读性和可维护性。
进程控制块、程序段和数据段：
在操作系统中，程序的执行是以进程为单位进行的。进程控制块、程序段和数据段分别记录了进程的状态、程序代码和数据。
输入/输出：
程序通常需要与外部设备进行数据交换，输入设备提供数据，输出设备显示或存储数据。文件输入/输出是常见的输入/输出方式。
用户界面和引擎：
对于复杂的应用程序，如游戏或办公软件，通常包括图形用户界面（GUI）和引擎两个部分。GUI负责用户交互，引擎负责业务逻辑和数据处理。
综上所述，程序是由数据结构、算法、程序设计方法、计算机语言、常量、变量、函数、表达式、语句、模块、子程序、进程控制块、程序段、数据段、输入/输出、用户界面和引擎等多个部分组成的复杂系统。一个优秀的程序应该在这些方面都进行合理的设计和实现。