Tôi đã tự hỏi, vì tự nó là ngôn ngữ không có sao, có ngôn ngữ thông thường không phải là ngôn ngữ không có sao không? Bạn có thể cho một ví dụ?
(từ wikipdia ) Lawson định nghĩa các ngôn ngữ không có sao là:
Một ngôn ngữ thông thường được coi là không có sao nếu nó có thể được mô tả bằng một biểu thức chính quy được xây dựng từ các chữ cái trong bảng chữ cái, ký hiệu tập rỗng, tất cả các toán tử boolean - bao gồm bổ sung - và ghép nhưng không có sao Kleene.
Dưới đây là bằng chứng về không có sao:
có sao là không có sao Nếu thì là không có sao Nếu thì có sao
Một ⊆ Σ Σ * Một Σ * ⟹ Một ⊆ Σ Một * = ¯ Σ * ( Σ ∖ A ) Σ *
Trong dòng cuối cùng, chúng ta có , bởi vì bất kỳ từ nào không có dạng đều chứa một chữ cái trong và ngược lại.