Điều đó có nghĩa gì khi nói rằng một ngôn ngữ được đóng lại một cách hiệu quả trong một hoạt động?

Tôi đã đọc một số bài lý thuyết ngôn ngữ chính thức và tôi đã gặp một thuật ngữ mà tôi không hiểu.

Bài viết thường sẽ đề cập đến một tập hợp "được đóng một cách hiệu quả dưới giao lộ" hoặc các hoạt động khác. "Hiệu quả" nghĩa là gì ở đây? Điều này khác với đóng cửa bình thường như thế nào?

Để tham khảo, bài báo tôi đang xem những thứ này là:

M. Daley và I. McQuillan. Mô hình chính thức về nén gen virus. Tạp chí quốc tế về nền tảng của khoa học máy tính, 16 (3): 453 Tiết469, 2005.

"Đóng một cách hiệu quả" có nghĩa là gia đình được đóng trong hoạt động và việc đóng cửa có thể được tính bằng cách đưa ra một máy tự động / ngữ pháp cho nó (nếu các ngôn ngữ gốc cũng được đưa ra trong một đại diện hiệu quả như vậy). Ví dụ, được đưa ra một máy tự động trạng thái hữu hạn, chúng ta thực sự có thể tìm thấy một máy tự động để bổ sung.

$R$$L$$R/L$$L$