Part 11 : Programming Foundations II: Control Structures, Loops & Arrays | Computer Series for UPSC ISS

Welcome back, future Indian Statistical Service (ISS) officers!

In our previous article, we explored the preliminary stages of software development, focusing on how algorithms and flowcharts are used to diagrammatically map out logic before a single line of code is written. We also discussed how language translators (Compilers and Interpreters) convert high-level human logic into machine-level instructions.

Today, we delve into the actual internal structures that govern the flow of data inside a program. A computer program is rarely a simple top-to-bottom sequence of instructions. It must make decisions, skip certain tasks, and repeat mathematical calculations multiple times based on changing data.

To master this segment of the syllabus professionally, we will align our concepts directly with Chapter 16 of “Fundamentals of Computers” by E. Balagurusamy and Chapters 10 and 12 of “Computer Fundamentals and Programming in C” by Reema Thareja. Let us systematically break down how software controls its internal logic without requiring you to write any actual code.

Book Alignment and Future Question Forecasting

• Book Chapters: Balagurusamy Ch 16 (Introduction to C Programming); Thareja Ch 10 (Decision Control and Looping Statements), Ch 12 (Arrays).
• Recommended PYQ Topic: Selection Statements, Iterative (Looping) Structures, Jump Statements, and Array Properties.
• PYQ Options as Future Questions:
  • Question to ask: What happens if a break statement is completely omitted in a switch case selection structure?
  • Options to explore: Understand that omitting a break causes the program to erroneously execute all subsequent cases sequentially, ignoring the logical choices. The UPSC frequently tests this exact structural necessity.

Selection Statements: The Decision Makers

Control statements are defined as instructions that are responsible for controlling the execution flow of a program. The first category of control statements is Selection Statements. These statements test a specific mathematical or logical condition and cause a change in the flow of the program if that condition is met.

Standard software engineering relies on the following key selection structures:

• If Statement: This is the most basic decision-making tool. If a specified condition evaluates to “True”, the block of code immediately following it is executed. If it evaluates to “False”, the program skips the block entirely.
• If-Then-Else Statement: In this structure, two distinct paths are provided. If the condition evaluates to “True”, the first set of statements (the Then clause) executes. If it is “False”, the program automatically routes to the second set of statements (the Else clause).
• Else-If Statement: Used when multiple consecutive conditions need to be tested one after another (e.g., determining a student’s grade: if marks > 90, else if marks > 80, etc.).
• Switch Case Statement: A sophisticated alternative to writing dozens of If-Else statements. Multiple blocks of code are specified as “cases” and associated with a distinct value. The program matches the input value to the correct case and executes it instantly.

Iterative Statements: The Power of Loops

Computers excel at performing repetitive tasks at lightning speed without fatigue. To command a computer to repeat a task, programmers use Iterative Statements, universally referred to as Loops.

A loop executes the same set of statements several times based on a specified condition. The three primary looping structures tested by the UPSC are:

1. While Loop: The program first evaluates the test condition. If the condition is true, the body of the loop is executed. This process repeats until the condition eventually becomes false.
2. Do-While Loop: Unlike the While loop, the Do-While loop guarantees that the block of code will be executed at least once. The program executes the statements first, and only checks the test condition at the very end of the loop to decide if it should repeat.
3. For Loop: This is the most compact and highly utilized loop. It allows the programmer to specify three vital tasks—the initialization of a variable, the test condition, and the incrementation of the variable—all on a single line of code.

Jump Control Statements

Sometimes, an application needs to immediately terminate a loop or skip an iteration due to an unexpected variable. This is handled using Jump Control Statements, which cause the program to jump from its current location to another specified location.

• Break Statement: The break statement forces the program to instantly exit the current loop or switch case structure entirely, transferring control to the very next line of code outside the loop.
• Continue Statement: The continue statement does not exit the loop. Instead, it forces the program to skip the remaining lines of code in the current iteration and instantly jump back to the beginning of the loop to test the condition for the next round.

Data Organization: Arrays and Strings

If an ISS officer needs to store the ages of 1,000 citizens for a demographic model, creating 1,000 individual variables (like age1, age2, etc.) is highly inefficient. The solution to this is the Array.

An Array is formally defined as a collection of different elements that share a strictly similar data type.

• Key Property: An array can store 1,000 integers or 1,000 decimal numbers, but it cannot store a mix of different data types (e.g., mixing text and integers in the same array is invalid). All elements in an array are stored in contiguous memory locations for rapid access.

A String is a specific, highly tested variant of an array. Strings are simply character arrays where each character (a letter, space, or symbol) is stored using exactly one byte of memory. For example, the word “STATISTICS” is stored internally as a character array.

Professional Analysis of UPSC ISS Previous Year Questions (PYQs)

Let us apply our theoretical foundations to 5 official UPSC ISS PYQs to understand exactly how the commission frames these concepts.

Q. Which of the following are looping statements in general of a computer programming language?
I. While II. Break III. For IV. Continue V.
Do while Select the correct answer using the code given below.
(a) I and II (b) II and IV only (c) II, III and IV (d) I, III and V

Professional Analysis: As established in standard programming logic, “While”, “For”, and “Do-while” are explicit iterative (looping) statements. Conversely, “Break” and “Continue” are classified as jump control statements, not loops.
Correct Answer: (d) I, III and V.

Q. In which one of the following the same set of statements are executed several times on the basis of condition specified?
(a) FCFS (b) Shortest Job First (c) Priority (d) Round Robin
(Note: Using the transcript database variant of this conceptual question regarding loops): In which one of the following the same set of statements are executed several times on the basis of condition specified?
(a) If-Then-Else (b) Do-While loop (c) Case Type (d) Break

Professional Analysis: Executing the exact same set of statements multiple times strictly defines an iterative loop. “If-Then-Else” and “Case” are selection structures that execute a block only once based on a condition. “Do-While” is the correct looping statement.
Correct Answer: (b) Do-While loop.

Q. Consider the following:
1. Break
2. If
3. Do-while
4. Continue
Which of the above are jump control statements?
(a) 1 and 4 only (b) 2 and 3 only (c) 1, 3 and 4 only (d) 3 and 4 only

Professional Analysis: A jump statement abruptly alters the standard sequence of execution. “Break” instantly exits a loop, and “Continue” skips the current iteration. “If” is a selection statement, and “Do-while” is a loop.
Correct Answer: (a) 1 and 4 only.

Q. Consider the following statements:
1. Array is a collection of data elements of same type.
2. Strings are character arrays in which each character is stored using one byte in memory.
3. Array can store different types of elements.
4. Strings can be data array also.
Which of the above statements are correct?
(a) 1 and 3 only (b) 1 and 2 only (c) 3 and 4 only (d) 1, 2 and 4

Professional Analysis: Statement 1 correctly defines an array as a grouping of identical data types. Because arrays require identical data types, Statement 3 is inherently false. Statement 2 is the exact architectural definition of a string. Statement 4 is true because strings operate functionally as sequential data arrays.
Correct Answer: (d) 1, 2 and 4.

Q. Consider the following code:
While (x != y) { if (x > y) x = x - y else y = y - x }
What does the above code do?
(a) It computes x mod y using repeated subtraction
(b) It computes x ÷ y using repeated subtraction
(c) It computes the greatest common divisor of x and y
(d) It computes the least common multiple of x and y

Professional Analysis: This is a classic algorithmic representation of the Euclidean algorithm. By repeatedly subtracting the smaller number from the larger number within a While loop until both numbers become exactly equal (x != y becomes false), the remaining value inherently represents the Greatest Common Divisor (GCD) of the two initial variables.
Correct Answer: (c) It computes the greatest common divisor of x and y.

What Lies Ahead?

In this eleventh article of our Computer Series for UPSC ISS, we successfully demystified the structures that command the flow of software logic. You now hold a professional understanding of iterative Loops (For, While, Do-While), Selection Statements (If-Else, Switch), Jump Controls (Break, Continue), and the structural properties of Arrays and Strings.

We have now covered almost the entirety of the UPSC ISS computer syllabus – spanning from fundamental hardware, memory, OS, networks, and number systems, all the way to flowcharts and programming loops.

In our twelfth and final article, Part 12, we will conclude the series with Programming Foundations III: Functions, Modules & Sorting Stability. We will explore how large programs are cleanly divided into “Modules”, understand the critical role of “Functions”, and decode the highly-tested concept of stable versus unstable sorting algorithms (Bubble, Merge, Insertion, Quick Sort). Ensure you revise all concepts covered so far, and get ready for the grand finale of our computer series!

(Have a specific doubt about Iterative Loops like Do-While, Jump Statements like Break and Continue, or the structural rules of Arrays? Drop it in the comments below!)