ĐẶC TẢ NGÔN NGỮ LẬP TRÌNH_TỪ VỰNG – CÚ PHÁP

Đặc tả hình thức cho phép: – Người học có thể tiếp thu nnlt dễ dàng – Bộ dịch có thể sinh mã đúng đắn – Bộ dịch có thể kiểm tra lỗi tự động – Có thể chứng minh được tính đúng đắn của chương trình Đặc tả hình thức: – Từ vựng – Văn phạm

pdf17 trang | Chia sẻ: diunt88 | Lượt xem: 2470 | Lượt tải: 1download
Bạn đang xem nội dung tài liệu ĐẶC TẢ NGÔN NGỮ LẬP TRÌNH_TỪ VỰNG – CÚ PHÁP, để tải tài liệu về máy bạn click vào nút DOWNLOAD ở trên
Tài liệu liên quan