Es todo aquel programa que tiene un punto de entrada y otro de salida. Por tanto, va a existir una secuencia desde la entrada a todas las instrucciones del programa y desde todas las instrucciones de programa a la salida.