El teorema del programa estructurado es un resultado en la teoría de lenguajes de programación.