Người ta có thể hiểu câu hỏi của bạn theo hai cách, theo định nghĩa của "phần bổ sung của CFL".
trường hợp A: Bổ sung CFL là lớp của tất cả các ngôn ngữ không có trong CFL. Chính thức,
Trong trường hợp đó, ¯ C F L lớn hơn P , nó thậm chí còn có các ngôn ngữ không thuộc R , v.v. Nhưng có lẽ đó không phải là ý bạn.
CFL¯¯¯¯¯¯¯¯¯¯¯= { L | L ∉ CFL } .
CFL¯¯¯¯¯¯¯¯¯¯¯PR
Trường hợp B: Xác định các lớp bổ sung-CFL như
trong lời nói, các thiết lập của tất cả các ngôn ngữ L , sao cho L 's bổ sung là bối cảnh tự do.
c o CFL ={ L¯∣ L ∈ CFL } ,
LL
Trong trường hợp đó, những gì bạn đã viết có ý nghĩa:
(bằng các thuật toán cyk ), và cũng c o C F L ⊆ P (chạy các thuật toán tương tự, sản lượng câu trả lời ngược lại), và kể từ C F L ≠ c o C F L , sau đó nó sẽ ngay lập tức mà c o C F L ⊊ P , phải không?CFL ⊊ Pc o CFL ⊆PCFL ≠ c o CFLc o CFL ⊊ P