Chủ nhiệm Bộ môn Phan Nguyên Hải ĐỀ CƯƠng chi tiết bài giảNG
tải về 4.09 Mb.
|
- Làm thể nào để sử dụng các kỹ thuật chứng minh định lý để xây dựng kế hoạch? 2.7 Phương pháp Green - Thêm các biết trạng thái vào các vị từ và dung hàm DO ánh xạ các hành động và các trạng thái thành các trạng thái mới DO: A x S ® S - Ví dụ:
DO(UNSTACK(x, y), S) là một trạng thái mới - Để mô tả hành động UNSTACK ta có thể viết: [ CLEAR(x, s) Ù ON(x, y, s) ] ® [HOLDING(x, DO(UNSTACK(x,y),s)) Ù CLEAR(y, DO(UNSTACK(x,y),s))] - Ta có thể chứng minh rằng nếu S0 là ON(A,B,S0) Ù ONTABLE(B,S0) Ù CLEAR(A, S0) thì HOLDING(A,DO(UNSTACK(A,B),S0)) Ù CLEAR(B,DO(UNSTACK(A,B),S0)) Trong đó DO(UNSTACK(A,B),S0) là S1 
- Chứng minh có thể tiếp tục, nếu chúng ta mô tả PUTDOWN HOLDING(x,s) ® ONTABLE(x,DO(PUTDOWN(x),s)) - Sau đó ta có thể chứng minh 
Каталог: files -> FileMonHoc FileMonHoc -> NGÂn hàng câu hỏi lập trình cơ BẢn nhóm câu hỏI 2 ĐIỂM FileMonHoc -> CHƯƠng 2 giới thiệu về LÝ thuyết số FileMonHoc -> CÁc hệ MẬt khoá CÔng khai kháC FileMonHoc -> BỘ MÔn duyệt chủ nhiệm Bộ môn FileMonHoc -> Khoa công nghệ thông tin cộng hòa xã HỘi chủ nghĩa việt nam FileMonHoc -> Chủ nhiệm Bộ môn Ngô Thành Long ĐỀ CƯƠng chi tiết bài giảNG FileMonHoc -> Chủ nhiệm Bộ môn Phan Nguyên Hải ĐỀ CƯƠng chi tiết bài giảNG FileMonHoc -> Khoa: CÔng nghệ thông tin cộng hòa xã HỘi chủ nghĩa việt nam FileMonHoc -> MẬt mã khóA ĐỐi xứng lý thuyết cơ bản của Shannon FileMonHoc -> Khoa công nghệ thông tin bài giảng LẬp trình cơ BẢn biên soạn tải về 4.09 Mb. Chia sẻ với bạn bè của bạn:
|