Tìm hiểu về thuật toán sắp xếp

Thuật toán là một dãy hữu hạn các thao tác được sắp xếp theo một trình tự xác định sao cho sau khi thực hiện dãy các thao tác ấy, từ Input của bài toán ta nhận được Output cần tìm.
Cũng có thế xem thuật toán như một công cụ để giải quyết một bài toán cụ thể. Phát biểu bài toán sẽ chỉ định tổng quát mối quan hệ Input/Output cần thiết. Thuật toán mô tả một thủ tục tính toán cụ thể để đạt được mối quan hệ Input/Output đó.
Vào khoảng những năm 1930 - 1936, lần lượt các nhà toán học K.Gödel,
S. Kleene, A. Church, A. Turing đã đề ra một số định nghĩa khác nhau cho khái niệm thuật toán. Trong số các định nghĩa toán học khác nhau (nhưng tương đương) về thuật toán, các khái niệm Máy Turing (1937) và Hàm đệ quy (1931-1936) được sử dụng rộng rãi hơn vì có nhiều thuận tiện cho các nghiên cứu cả về lí thuyết lẫn thực hành.