Thuật toán sẽ thực hiện 4 vòng lặp.

Kết thúc giá trị của S là 2.

Đây là chương trình Pascal để mô tả thuật toán trên:

```pascal
program ThuatToan;
var
S, n: integer;
begin
S := 20;
n := 1;
while S >= 5 do
begin
if S > 5 then
S := S - n
else
begin
n := n + 1;
S := S - n;
end;
end;
writeln('Gia tri cua S la: ', S);
readln;
end.
```

Trong chương trình này, chúng ta sử dụng vòng lặp `while` để thực hiện thuật toán. Biến `S` và `n` được khởi tạo với giá trị ban đầu là 20 và 1 tương ứng.

Trong mỗi vòng lặp, chúng ta kiểm tra xem giá trị của biến `S` có lớn hơn 5 hay không. Nếu có, chúng ta giảm giá trị của `S` đi `n`. Nếu không, chúng ta tăng giá trị của `n` lên 1 và giảm giá trị của `S` đi `n`.

Khi giá trị của `S` nhỏ hơn 5, vòng lặp sẽ kết thúc và chúng ta sẽ hiển thị giá trị của `S` ra màn hình.