Las estructuras de control son fundamentales en los lenguajes de programación y permiten modificar el orden secuencial de ejecución de las instrucciones. Existen dos tipos principales: las estructuras de selección o condición que ejecutan instrucciones dependiendo de si se cumple o no una condición, y las estructuras de repetición o bucles que permiten repetir instrucciones mientras se cumpla una condición o un número predeterminado de veces.