(1) Một trình tự phát biểu chương trình máy tính được thực hiện liên tục cho đến khi một điều kiện nhất định đã gặp hoặc trong khi một điều kiện nhất định là true.~(2) để thực hiện một chuỗi các phát biểu chương trình máy tính như trong (1).