Lời chào. Dijkstra đã viết rằng ngay cả một vài dòng mã có vẻ đơn giản cũng có thể mơ hồ một cách vô vọng. Trong ít nhất một tác phẩm mà bây giờ tôi không thể tìm thấy để cứu mạng mình, ông đã đưa ra một chương trình ví dụ nhỏ để chứng minh sự mơ hồ này. Bất cứ ai có thể chỉ cho tôi một bài báo của anh ấy, nơi anh ấy bao gồm một trong những ví dụ này?
Câu trả lời:
Đọc này:
http://en.wikipedia.org/wiki/Halting_probols#Recognizing_partial_solutions
http://www.cs.ucsb.edu/~pconrad/cs40/08S/notes/ có phạm vi bảo hiểm tốt; tìm kiếm "vấn đề tạm dừng"
Có một số hình thức của mâu thuẫn tạm dừng thiết yếu.
def halts( code_block ):
# Some magical code
def whistler():
while halts(whistler):
sys.whistle( 1 )
Liệu "người huýt sáo" huýt sáo bằng không, một lần hay vô số lần?
Nếu halts()chức năng xác định rằng chức năng có whistlervẻ dừng lại, chức năng whistlerkhông thể dừng lại.
Nếu halts()chức năng xác định rằng chức năng whistlerkhông xuất hiện tạm dừng, chức năng sẽ whistlerdừng lại.
Do đó, halts()chức năng không thể tồn tại.
Bạn có chắc chắn rằng bài báo là của Dijkstra? Những phản ánh về sự tin tưởng của Ken Thompson nghe có vẻ như đó là những gì bạn đang nghĩ đến. Nó cho thấy các chương trình hoàn toàn đơn giản, đơn giản và chính xác có thể kết thúc như thế nào khi làm điều gì đó hoàn toàn bất ngờ mà không thể nhìn thấy trong nguồn. Ngay cả khi đó không phải là những gì bạn đang nghĩ, nó là một bài báo đáng để đọc.
Đi theo một hướng khác, nếu bạn muốn có những ví dụ tuyệt vời về các chương trình ngắn với hành vi đáng ngạc nhiên, cuộc thi C ngầm là tuyệt vời. Ví dụ nhìn vào người chiến thắng năm 2008 . Thách thức là viết một chương trình dòng lệnh để xóa một phần của hình ảnh, theo cách mà hình ảnh được hiển thị hoàn hảo, nhưng tệp vẫn giữ một số thông tin về phần được làm lại của hình ảnh. VÀ theo cách mà mã của bạn có thể vượt qua đánh giá mã. (Bạn có thể chọn định dạng mà hình ảnh được lưu trữ.)
FILE_NOT_FOUND;)