Apakah { } tidak bebas konteks?


30

Apakah bahasa { } bebas konteks atau tidak?aibjck | ij,ik,jk

Saya menyadari bahwa saya telah menemukan hampir semua varian pertanyaan ini dengan kondisi yang berbeda tentang hubungan antara i, j, dan k, tetapi tidak yang ini.

Dugaan saya adalah bahwa itu tidak bebas konteks, tetapi apakah Anda punya bukti?


11
@ Sariel: Saya harap ini bukan masalah pekerjaan rumah, karena saya tidak tahu bagaimana menyelesaikannya.
Tsuyoshi Ito

3
Sepertinya masalah pekerjaan rumah, karena beberapa varian lain yang saya sebutkan cukup mudah menjadi masalah pekerjaan rumah. Namun varian ini bukan masalah pekerjaan rumah. Saya akan senang jika ada yang bisa memberi saya tautan ke situs kursus mana pun di mana masalah khusus ini telah ditetapkan sebagai pekerjaan rumah.
Cem Say

2
Bisakah Anda menjelaskan mengapa teknik standar tidak berhasil?
Warren Schudy

3
@ Tsuyoshi ... Yeh. Kamu benar. Ini lebih sulit daripada yang terlihat.
Sariel Har-Peled

3
Anehnya, bahasa ini (dan penggunaan Lemma Ogden) dapat ditemukan dalam Contoh 6.3 (hlm. 130) dalam versi klasik Hopcroft dan Ullman "Pengantar Teori Automata, Bahasa dan Komputasi".
Dominik D. Freydenberger

Jawaban:


28

Lemma Ogden seharusnya bekerja:

Untuk diberikan memilih sebuah i b p c k dan tandai semua b 's (dan tidak ada lagi).paibpckb

dan k dipilih sedemikian rupa sehingga untuk setiap pilihan berapa b sebenarnya dipompa ada satu eksponen memompa sedemikian sehingga jumlah b sama dengan i dan satu di mana sama dengan k .ikbbik

Yaitu dan k harus dari himpunan 1 n p { p - n + m n m N 0 } .ik1np{pn+mnmN0}

Saya cukup yakin tetapi terlalu malas untuk membuktikan secara resmi bahwa set ini tidak terbatas.


5
Dengan asumsi bahwa IN_0 berarti himpunan bilangan bulat negatif, himpunan yang disebutkan tidak terbatas karena berisi p + im untuk i = 0, 1, 2, ..., di mana m adalah kelipatan paling umum dari {1, ..., p}.
Tsuyoshi Ito

11
Mereka yang tidak tahu lemma Ogden (seperti saya) dapat menganggap Wikipedia bermanfaat.
Tsuyoshi Ito

2
@ Tsuyoshi: Ya, Anda benar. Saya tidak melihat representasi sederhana ini kemarin malam.
Frank Weinberg


Bukti serupa disajikan dalam jawaban ini di cs.se.
Hsien-Chih Chang 張顯 之

-4

Jika hubungan antara ketiga batasan tersebut adalah "ATAU", bahasanya adalah CFL. Solusinya menggunakan fakta bahwa CFL ditutup di bawah serikat. Jelas, berikut ini adalah CFL: , L 2 = { a i b j c ki k , j 0 } , L 3 = { a i bL1={aibjckij, k0}L2={aibjckik, j0} (jika seseorang tidak yakin, seseorang dapat melihat L i sebagai gabungan dari CFL dan bahasa reguler. Misalnya, L 1 adalah { a i b ji j } digabungkan ke { c } .L3={aibjckjk, i0}LiL1{aibjij}{c}

Bahasa yang diinginkan adalah penyatuan . Jadi, itu adalah CFL.L=L1L2L3


5
Ini salah. Sebagai contoh, dan karenanya di Anda L , tapi a a b c c { a i b j c k | i j , i k , j k } . aabccL1Laabcc{aibjck | ij,ik,jk}
Dave Clarke

4
Anda berasumsi bahwa »hubungan antara ketiga batasan tersebut adalah" ATAU "«, tetapi ini bukan arti yang dimaksudkan. Semua batasan harus dipegang (lih. Contoh tandingan Dave Clarke), dan kemudian bahasanya tidak bebas konteks (lih. Jawaban di atas).
DaniCL
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.