Để 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 để điền vào máy pha cà phê với nước mà không giải thích nước mà đến từ một vòi nước, và làm thế nào để biến các vòi nước vào). Thay vào đó, chúng ta cần phải làm thủ tục cơ khí có thể được theo sau mà không có bất kỳ suy nghĩ.
đang được dịch, vui lòng đợi..
