In Python, loops are fundamental control structures used to execute a block of statements repeatedly. In Data Structures and Algorithms, loops are especially important because many algorithms involve repeated operations such as traversing arrays, searching elements, sorting data, processing linked lists, and performing iterative calculations. The procedural execution behaviour of a loop determines the order in which statements are evaluated, the conditions under which repetition occurs, and the circumstances in which normal sequential execution is altered. Python mainly provides two loop variations: the `while` loop and the `for` loop. In addition, control-flow keywords such as `break` and `continue` can modify the normal execution path of these loops. A `while` loop repeatedly executes a block of statements as long as a specified Boolean condition remains true. The condition is checked before every iteration. If the condition is initially false, the loop body is not executed even once. The general structure is: ```python while condition: statements ``` Procedurally, Python first evaluates the condition. If the result is `True`, the statements inside the loop are executed. After execution of the body, control returns to the condition. The condition is evaluated again, and this process continues until the condition becomes `False`. Once it becomes false, control moves to the first statement following the loop. For example: ```python i = 1 while i <= 5: print(i) i += 1 print("Loop completed") ``` Here, `i` begins with the value 1. Python checks whether `i <= 5`. Since the