As linguagens de programação estruturada correspondem a uma forma de programação de computadores em que todos os programas possíveis de serem escritos (códigos fontes) podem ser reduzidos a apenas três estruturas fundamentais. Essas estruturas são