Apa pelengkap bahasa bebas konteks?

$\subsetneq$

— pengguna432
sumber

Saya akan memposting ini sebagai jawaban, tetapi tidak menjawab seluruh pertanyaan Anda: komplemen dari setiap CFL adalah R (rekursif), karena bahasa rekursif ditutup di bawah pelengkap dan semua CFL adalah R.

— Eric

CFL tidak ditutup di bawah komplementasi tidak berarti bahwa 'L' berada di CFL berarti komplemennya tidak dalam CFL. Ini hanya berarti bahwa ada 'L' di CFL sehingga komplemennya tidak dalam CFL

— SHREYANSHU THAKUR

@ Eric Penanya sudah tahu bahwa komplemen dari setiap CFL bersifat rekursif. Mereka telah membuat banyak pernyataan kuat bahwa komplemen dari setiap CFL adalah di P .

— David Richerby

Jawaban:

Satu dapat memahami pertanyaan Anda dalam dua cara, sesuai dengan definisi "pelengkap CFL".

kasus A: Komplemen CFL adalah kelas dari semua bahasa yang tidak ada dalam CFL. Secara formal, Dalam hal ini, jauh lebih besar dari , bahkan memiliki bahasa yang tidak ada dalam , dll. Tapi mungkin bukan itu yang Anda maksudkan.

\bar{C F L.} = {L. ∣ L. \notin C F L.} .

$\overline{CFL} = \{ L \mid L\notin CFL\}.$

\bar{C F L}

$\overline{CFL}$

P

$P$

R

$R$

kasus B: Tentukan kelas komplemen-CFL sebagai dengan kata-kata, himpunan semua bahasa , sehingga komplemen adalah bebas konteks .

c Hai C F L. = {\bar{L.} ∣ L. \in C F L.},

$co{CFL} = \{ \bar{L} \mid L \in CFL\},$

L

$L$

L

$L$

Dalam hal itu, apa yang Anda tulis masuk akal: (oleh algoritma CYK ), dan juga (jalankan algoritma yang sama, jawaban yang berlawanan), dan karena , maka harus langsung bahwa , kan? $CFL \subsetneq P$ $co{CFL} \subseteq P$ $CFL \neq co{CFL}$ $co{CFL}\subsetneq P$

— Ran G.
sumber

definisi CFK sejauh yang saya mengerti: bahasa L dalam coCFK jika dan hanya jika pelengkap L adalah dalam CFK. Dengan komplemen LI berarti semua string yang mungkin kecuali string dalam L. Masalahnya saya pikir adalah komplemen tidak dapat didefinisikan sebagai "jalankan algoritma yang sama dan balikkan jawabannya" Sebagai contoh: L = (x ^ iy ^ iz ^ i) tidak CFL, tapi saya tidak tahu algoritma apa yang bisa saya jalankan untuk mendapatkan jawaban (negatif).

— user432

jadi Anda mengacu pada kasus B. Perhatikan bahwa komplemen CFL mungkin tidak CFL, tetapi itu tidak berarti bahwa algoritma CYK tidak bekerja sama .. Maksud saya, kita menjalankan CYK pada , yang CFL, dan mendapatkan jawaban untuk setiap apakah atau tidak itu adalah di . kebalikan dari itu adalah jawaban untuk pertanyaan apakah itu dalam , meskipun mungkin non-CFL.

L

$L$

\bar{L}

$\overline L$

x

$x$

\bar{L}

$\overline L$

x

$x$

L

$L$

L

$L$

— Ran G.

@ user432 !

coCFL \neq \bar{CFL}

$\text{coCFL} \neq \overline{\text{CFL}}$

— Raphael

@RanG adalah standar notasi Anda di sini? Saya berharap dan kelas bahasa sedemikian rupa sehingga .

c o C F L = {L : \bar{L} \in C F L}

$coCFL = \{ L : \bar{L} \in CFL\}$

\bar{C F L} =

$\overline{CFL} =$

L

$L$

L \notin C F L

$L \not \in CFL$

— usul

Sebenarnya, izinkan saya mengubah notasi sesuai saran Anda, itu akan lebih masuk akal.

— Ran G.

Kelas kuat yang berisi CFL dan coCFL adalah LOGCFL , yang berisi semua bahasa yang dapat direduksi logspace menjadi bahasa bebas konteks. Kelas ini antara NL dan AC1, dan memiliki beberapa masalah alami lengkap. Itu juga dapat didefinisikan dalam hal sirkuit AC1 terbatas. LOGCFL ditutup dengan komplemen (ini merupakan perpanjangan dari argumen yang digunakan untuk menunjukkan bahwa NL = coNL).

— Yuval Filmus
sumber

-1

Komplemen CFL mungkin bisa CFL tetapi tidak harus demikian. Komplemen CFL bersifat rekursif (R) dan berulang secara berulang (RE). Mengapa? Semua CFL keduanya R dan RE. Bahasa R ditutup dengan komplemen (tetapi RE tidak). Dalam konteks itu, komplemen dari CFL adalah R yang secara inheren RE.

— loyola
sumber

Penanya telah telah mengatakan bahwa mereka tahu bahwa komplemen dari setiap CFP adalah di P . Itu pernyataan yang jauh lebih kuat daripada itu bersifat rekursif atau RE. Sepertinya penanya telah menyebutkan seseorang yang tidak bisa berjalan dan Anda telah menjawab dengan bukti bahwa ia tidak bisa berlari dengan kecepatan suara.

— David Richerby