_______ is an ordered set of unambiguous steps that produces a result and terminates in a finite time.

Đáp án đúng: "An algorithm". Định nghĩa của giải thuật gồm đúng những điều kiện nêu trong câu: một dãy hữu hạn các bước có thứ tự, mỗi bước rõ ràng không gây hiểu hai nghĩa, cho ra kết quả và kết thúc sau thời gian hữu hạn. Phương án "A construct" chỉ là cấu trúc điều khiển như tuần tự, rẽ nhánh, lặp; đó là viên gạch để xây giải thuật chứ không phải cả lời giải. Phương án "A recursion" là đệ quy, một cách định nghĩa lời giải bằng cách gọi lại chính nó; nó là kỹ thuật, và nếu thiếu điều kiện dừng thì còn chẳng kết thúc. Phương án "An iteration" là một vòng lặp hoặc một lần lặp, bản thân nó không bảo đảm sinh ra kết quả và dừng, nên không thể là định nghĩa của giải thuật.