-  S ← 20, n ← 1

⇒ Giá trị S = 20 và n = 1

- Nếu S ≤ 5 đúng

⇒ Thì chuyển đến Bước 4

- Nếu S ≤ 5 sai

⇒ Thì chuyển đến Bước 3

+ S = 20 ⇒ S ≤ 5 ⇒ 20 ≤ 5 ⇒ Điều kiện sai ⇒ Lần lặp 1

⇒ Chuyển đến Bước 3

⇒ n = n + 1 = 1 + 1 = 2

⇒ S = S - n = 20 - 2 = 18

⇒ Quay lại Bước 2

+ S = 18 ⇒ S ≤ 5 ⇒ 18 ≤ 5 ⇒ Điều kiện sai ⇒ Lần lặp 2

⇒ Chuyển đến Bước 3

⇒ n = n + 1 = 2 + 1 = 3

⇒ S = S - n = 18 - 3 = 15

⇒ Quay lại Bước 2

+ S = 15 ⇒ S ≤ 5 ⇒ 15 ≤ 5 ⇒ Điều kiện sai ⇒ Lần lặp 3

⇒ Chuyển đến Bước 3

⇒ n = n + 1 = 3 + 1 = 4

⇒ S = S - n = 15 - 4 = 11

⇒ Quay lại Bước 2

+ S = 11 ⇒ S ≤ 5 ⇒ 11 ≤ 5 ⇒ Điều kiện sai ⇒ Lần lặp 4

⇒ Chuyển đến Bước 3

⇒ n = n + 1 = 4 + 1 = 5

⇒ S = S - n = 11 - 5 = 6

⇒ Quay lại Bước 2

+ S = 6 ⇒ S ≤ 5 ⇒ 6 ≤ 5 ⇒ Điều kiện sai ⇒ Lần lặp 5

⇒ Chuyển đến Bước 3

⇒ n = n + 1 = 5 + 1 = 6

⇒ S = S - n = 6 - 6 = 0

⇒ Quay lại Bước 2

+ S = 0 ⇒ S ≤ 5 ⇒ 0 ≤ 5 ⇒ Điều kiện đúng 

⇒ Chuyển tới Bước 4

⇒ Thông báo S rồi kết thúc lặp

⇒ Vậy S = 0 và thực hiện 5 vòng lặp

- Viết chương trình :

Program bai3;

Var s, n : integer;

Begin

S := 20; n := 1;

While s > 5 Do

    Begin

        N := n + 1;

        S := S - n;

    End;

write(S);

Readln;

End.