Nêu quy trình con người giao bài toán cho máy tính giải quyết. Cho ví dụ minh hoạ.