Phương pháp làm mịn dẫn trong thiết kế chương trình

Hiểu bài

Phương pháp làm mịn dần bắt đầu từ mô tả tổng quát của bài toán, sau đó liên tiếp chi tiết hoá các công việc cho đến khi mỗi thao tác có thể biểu diễn bằng câu lệnh. Với sắp xếp chèn, mô tả ban đầu là duyệt i từ 1 đến n-1 và chèn A[i] vào đúng vị trí trong phần bên trái đã sắp xếp.

Bước chi tiết giữ value = A[i], đặt j = i - 1, dịch các phần tử lớn hơn value sang phải rồi chèn lại:

value = A[i]
j = i - 1
while j >= 0 and A[j] > value:
    A[j + 1] = A[j]
    j = j - 1
A[j + 1] = value

Quá trình kết thúc khi mọi thao tác đều đã được mô tả bằng cấu trúc điều khiển và câu lệnh rõ ràng.