分支程序是指 程序中包含有判断环节，根据不同的条件对应不同的执行路径。在编程中，分支是一种基本的控制结构，它允许程序根据某个条件的真假来决定执行哪个分支。常见的分支结构包括条件分支和循环分支。条件分支根据某个条件的值来选择执行不同的代码路径，而循环分支则让程序反复执行同一段代码，直到满足某个条件为止。
在汇编语言中，进行分支程序设计时，经常使用比较指令（CMP）、条件转移指令和无条件转移指令（JMP）来实现分支。在高级语言中，分支结构通常通过if语句、switch语句等控制语句来实现。
分支程序的应用非常广泛，无论是在低级语言如汇编语言中，还是在高级语言如Python、C语言中，都是实现程序逻辑和控制流程的重要手段。