3.2.3 Tìm kiếm Thủ tục
Thủ tục tìm kiếm cố gắng để tìm một chuỗi wl từ ... wn của bất kỳ chiều dài n ~ M cho các đầu vào thuộc tính thiết lập A sao cho 1. wn là biểu tượng dừng lại, dừng lại, 2. Tất cả các thuộc tính trong A được đề cập ít nhất một lần 3. Tất cả các thuộc tính trong A được đề cập nhất là một lần và trong đó M là một heuristically thiết lập tối đa chiều dài cụm từ.
đang được dịch, vui lòng đợi..
