Vấn đề có tính không thể giải quyết
Mục đích của phần này là để cung cấp một thức, C-lập trình dựa trên giới thiệu về các bằng chứng của một vấn đề cụ thể mà máy tính không thể giải quyết. Các vấn đề cụ thể, chúng tôi thảo luận là liệu điều đầu tiên một chương trình in C
là hello, thế giới. Mặc dù chúng ta có thể tưởng tượng rằng mô phỏng của chương trình sẽ cho phép chúng tôi để biết những chương trình nào, chúng ta phải trong thực tế đấu tranh với các chương trình chiếm một thời gian dài không tưởng tượng trước khi thực hiện bất kỳ sản lượng ở tất cả. Vấn đề này - không biết khi nào, nếu có, một cái gì đó sẽ xảy ra - là nguyên nhân cơ bản của sự bất lực của chúng tôi để biết những gì một chương trình nào. Tuy nhiên, chứng minh chính thức rằng không có chương trình để làm một nhiệm vụ đã nêu là khá khó khăn, và chúng ta cần phải phát triển một số cơ chế chính thức. Trong phần này, chúng tôi cung cấp cho các trực giác đằng sau những bằng chứng chính thức.
1. Các chương trình In "Hello, World"
Trong hình. 8.1 là chương trình C đầu tiên gặp các học sinh đọc Kernighan và Ritchie của cuốn sách kinh điển. Nó là khá dễ dàng để khám phá ra rằng chương trình này in hello, thế giới và chấm dứt. Chương trình này là để minh bạch mà nó đã trở thành một thực tế phổ biến để giới thiệu ngôn ngữ bằng cách hiển thị như thế nào để viết một chương trình để in hello, thế giới trong những ngôn ngữ.
đang được dịch, vui lòng đợi..