Lặp có số lần biết trước và câu lệnh for-do
Dạng lặp với số lần biết trước dùng để thực hiện câu lệnh một số lần xác định. Dạng này dùng một biến điều khiến vòng lặp. Trong Pascal mỗi lần thực hiện câu lệnh thì biến điều khiến (giả sử là i) được tự động tăng (nhận giá trị tiếp theo là succ(i)) hoặc giảm (nhận giá trị nhỏ hơn ngay trước pred(i)). Đến khi biến điều khiển đạt giá trị xác định thì vòng lặp kết thúc.

• Câu lệnh for — do với hai dạng tiến và lùi:

- Dạng lặp tiến :
for • <biến đếm>:= <giá trị đầu> to <giá trị cuối> do <câu lệnh> ;
- Dạng lặp lùi:
for <biến đếm>:= <giá trị cuối> dowto <giá trị đầu> do <câu lệnh> ;
Trong đó:
- biến đếm là biến đơn, thường có kiểu nguyên.
- Giá trị đầu, giá trị cuối là các biểu thức cùng kiểu với biến đếm và giá trị đầu phải nhỏ hơn hoặc bằng giá trị cuối. Nếu giá trị đầu lớn hơn giá trị cuối thì vòng lặp không được thực hiện.