• Successor function : assign a value to an unassigned variable that does not conflict with current assignment#.. à fail if no legal assignments#![r]
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng | |
---|---|
Số trang | 40 |
Dung lượng | 630,06 KB |
Nội dung
• Successor function : assign a value to an unassigned variable that does not conflict with current assignment#.. à fail if no legal assignments#![r]
Ngày đăng: 26/01/2021, 10:25
TỪ KHÓA LIÊN QUAN
TÀI LIỆU CÙNG NGƯỜI DÙNG
TÀI LIỆU LIÊN QUAN