程序和算法均由以下几个主要部分组成：
算法
算法是解决问题的方法和步骤，是一系列用于计算或解决问题的明确步骤和有限的步骤。
算法具有有穷性、确定性、有效性、输入和输出的特性。
数据结构
数据结构是计算机存储、组织数据的方式，是相互之间存在一种或多种特定关系的数据元素的集合。
常见的数据结构包括数组、链表、栈、队列、树、图等。
程序设计方法
程序设计方法包括IPO方法（输入数据、处理数据、输出数据）。
还包括算法设计、数据结构设计等方法。
语言环境
程序以某种程序设计语言编写，运行于某种目标结构体系上。
常见的编程语言有C、C++、Java、Python等。
综上所述，程序是由算法、数据结构、程序设计方法和语言环境共同组成的。其中，算法和数据结构是程序的核心组成部分，而程序设计方法和语言环境则提供了实现程序的工具和平台。