Control Structures in Python

Before understanding control structures in Python, we need to understand what is an algorithm. The core task of a programmer is to solve problems. To solve a problem using a computer, we must perform a series of steps in a specific order. This sequence of steps and their required order is called an algorithm.

In Python, a program is executed sequentially, and the structures that modify this execution flow are called control structures. These are sets of instructions that determine the order in which operations are executed. In modern programming, there are only three types of control structures:

1. Sequencing
2. Branching
3. Repetition

This is not just a convention but a mathematically proven fact. In 1966, the Italian computer scientists Corrado Böhm and Giuseppe Jacopini proved what is now known as the structured program theorem: any computable algorithm, no matter how complex, can be expressed using nothing but these three structures, without ever needing to jump arbitrarily from one part of a program to another. That last part mattered enormously at the time, because the dominant practice before the theorem was to rely on the goto statement, which let a program jump straight to any labeled line at will. Used freely, goto produced what programmers came to call spaghetti code – logic so tangled with jumps running in every direction that following it, let alone fixing or extending it, became nearly impossible. Edsger Dijkstra crystallized the objection two years later, in 1968, in a short and now-famous letter titled “Go To Statement Considered Harmful,” arguing that the quality of a programmer’s code could be judged by how rarely goto appeared in it. Böhm and Jacopini’s theorem gave that objection mathematical teeth: since sequence, selection, and iteration alone were provably sufficient for any algorithm, goto was never actually necessary, only convenient in the short term at the cost of long-term readability. The theorem went on to shape the design of nearly every major language that followed, from Pascal in 1970 through C, and its influence is exactly why Python, like virtually every modern language, restricts you to these same three structures rather than letting you jump freely around your code.

Sequence of Instructions

Program instructions are executed one after another in the exact order they are written in the script.

At first glance, this may seem obvious. However, many programming errors occur because of incorrectly ordered instructions. As you progress in programming, you will realize the importance of writing instructions in the correct sequence.

For example, consider the following sequence:

a, b = 3, 7
a = b
b = a
print(a, b)

You’ll get an unexpected result if you swap the second and third lines.

Execution Flow in Python

Python processes instructions in normal mode—from start to finish—unless it encounters branching statements like if or loops. These control structures allow the program to follow different paths depending on conditions.

In the next article, we will learn about if statement in python.