子程序（Subroutine）是指 一个大型程序中的某部分代码，由一个或多个语句块组成，负责完成某项特定任务，并且具备相对的独立性。子程序可以被其他程序调用，执行特定功能后能自动返回到调用它的程序中。子程序的主要作用是提高程序的模块化和重用性，简化代码的编写和维护。
在计算机科学中，子程序通常包括定义和调用两个方面：
定义：
子程序需要事先定义好算法，明确其功能和输入输出参数。
调用：
在主程序中通过特定的指令来调用子程序，子程序执行完毕后，会自动返回到调用它的程序中继续执行后续代码。
子程序可以嵌套调用，即一个子程序可以调用另一个子程序，这有助于将复杂的任务分解为更小的、可管理的模块，从而提高代码的可读性和可维护性。
在数控编程中，子程序特别有用。例如，当一组程序段在一个程序中多次出现或在几个程序中都要使用它时，可以将这组程序段摘出来，命名后单独储存，这组程序段就是子程序。子程序可以通过机床控制指令调用，并在加工中一般具有独立意义。
总结来说，子程序是一种重要的编程概念，它允许程序员将复杂的任务分解为更小、更易于管理和复用的代码模块，从而提高软件开发的效率和质量。