Bổ sung của các ngôn ngữ không ngữ cảnh là gì?


11

Tôi cần biết lớp CFL nào được đóng theo, tức là tập hợp nào bổ sung cho CFL. Tôi biết CFL không được đóng dưới bổ sung và tôi biết rằng P được đóng dưới bổ sung. Vì CFL PI có thể nói rằng phần bổ sung của CFL được bao gồm trong P (phải không?). Vẫn còn một câu hỏi liệu bổ sung CFL là tập con đúng của P hay toàn bộ P. Tôi sẽ đánh giá cao bất kỳ ý tưởng nào về cách thể hiện bổ sung CFL đó là toàn bộ P (nếu đó là trường hợp tất nhiên).


2
Tôi sẽ đăng bài này dưới dạng câu trả lời, nhưng nó không trả lời toàn bộ câu hỏi của bạn: phần bù của bất kỳ CFL nào là R (đệ quy), vì các ngôn ngữ đệ quy được đóng dưới phần bổ sung và tất cả các CFL đều là R.
Eric

CFL không được đóng dưới bổ sung không có nghĩa là 'L' trong CFL có nghĩa là bổ sung không nằm trong CFL. Điều đó chỉ có nghĩa là tồn tại 'L' trong CFL sao cho phần bổ sung của nó không có trong CFL
SHREYANSHU THAKUR

@Eric Người hỏi đã biết rằng phần bù của bất kỳ CFL nào là đệ quy. Họ đã thực hiện nhiều tuyên bố mạnh rằng sự bổ sung của bất kỳ CFL là trong P .
David Richerby

Câu trả lời:


17

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¯={LLCFL}.
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.

coCFL={L¯LCFL},
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 LP (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 LP , phải không?CFLPcoCFLPCFLcoCFLcoCFLP


định nghĩa về CFK theo như tôi hiểu: ngôn ngữ L nằm trong coCFK khi và chỉ khi phần bổ sung của L nằm trong CFK. Bằng cách bổ sung LI có nghĩa là tất cả các chuỗi có thể ngoại trừ các chuỗi trong L. Vấn đề tôi nghĩ là bổ sung không thể được định nghĩa là "chạy cùng một thuật toán và đảo ngược câu trả lời" Ví dụ: L = (x ^ iy ^ iz ^ i) không phải là CFL, nhưng tôi không biết tôi có thể chạy thuật toán nào để có câu trả lời (phủ định).
user432

1
vì vậy bạn đang đề cập đến trường hợp của B. Lưu ý rằng sự bổ sung của một CFL có thể không được CFL, nhưng nó không có nghĩa là các thuật toán cyk không làm việc trên nó cùng .. Tôi có nghĩa là, chúng ta chạy CYK trên ¯ L , đó là CFL, và nhận được một câu trả lời cho mỗi x hay không là ở ¯ L . điều ngược lại là câu trả lời cho câu hỏi x có trong L hay không , mặc dù L có thể không phải là CFL. LL¯xL¯xLL
Ran G.

1
@ user432 ! coCFLCFL¯
Raphael

1
@RanG là tiêu chuẩn ký hiệu của bạn ở đây? Tôi mong chờ ¯ C F L = lớp của ngôn ngữ LL C F L . coCFL={L:L¯CFL}CFL¯= =LLCFL
usul

1
Trên thực tế, hãy để tôi thay đổi ký hiệu theo đề nghị của bạn, nó sẽ có ý nghĩa hơn.
Ran G.

3

Một lớp mạnh mẽ chứa cả CFL và coCFL là LOGCFL , chứa tất cả các ngôn ngữ có thể giảm logspace thành ngôn ngữ không ngữ cảnh. Lớp này là trung gian giữa NL và AC1, và có một số vấn đề hoàn toàn tự nhiên. Nó cũng có thể được định nghĩa theo các mạch AC1 bị hạn chế. LOGCFL được đóng dưới phần bổ sung (đây là phần mở rộng của đối số được sử dụng để hiển thị rằng NL = coNL).


-1

Bổ sung CFL có thể có thể là CFL nhưng không nhất thiết phải như vậy. Bổ sung CFL là cả đệ quy (R) và đệ quy đệ quy (RE). Tại sao? Tất cả các CFL đều là R và RE. Các ngôn ngữ R được đóng dưới bổ sung (nhưng RE thì không). Trong bối cảnh đó, bổ sung của CFL là R vốn là RE.


Người hỏi đã nói rằng họ biết rằng sự bổ sung của bất kỳ CFP là trong P . Đó là một nhiều tuyên bố mạnh hơn rằng đó là đệ quy hoặc RE. Giống như người hỏi đã đề cập đến một người không thể đi bộ và bạn đã trả lời bằng chứng rằng anh ta không thể chạy với tốc độ âm thanh.
David Richerby
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.