Los programas ejecutan sus instrucciones secuencialmente, pero también es posible que, en función de si se cumplen o no algunas condiciones, cambien las instrucciones a realizar. Estos diferentes "caminos" que puede tomar un programa son las bifurcaciones.