Để chương trình máy tính, chúng ta cần các công cụ cho phép chúng ta mô tả các quá trình chính xác và ngắn gọn. Kể từ khi các thủ tục được thực hiện bởi một máy, mỗi bước đi cần phải được mô tả; chúng ta không thể dựa vào các nhà điều hành có "thông thường" (ví dụ, để biết làm thế nào để fi ll máy pha cà phê với nước mà không giải thích thatwater đến froma vòi nước, và howto bật vòi nước vào). Thay vào đó, chúng tôi needmechanical thủ tục có thể được theo sau mà không có bất kỳ suy nghĩ.
đang được dịch, vui lòng đợi..
