Saya tertarik pada dua pertanyaan tentang bahasa konteks-sensitif (CSL) dan kelengkapan:
- Apakah ada gagasan tentang kelengkapan untuk CSL, dan bahasa apa yang lengkap?
- Apakah ada CSL alami yang lengkap dengan NP?
Untuk 2., saya pasti bisa memikirkan bahasa NP-lengkap alami yang CSL (karena CSL sama dengan NSPACE [ ], SAT adalah CSL), tapi saya sedang mencari cara lain, yaitu, konteks- tata bahasa sensitif yang menggambarkan bahasa NP-lengkap.
np-hardness
fl.formal-languages
space-bounded
Michaël Cadilhac
sumber
sumber
Jawaban:
Untuk menjawab pertanyaan pertama Anda, reducibilitas yang sesuai dengan kebutuhan Anda adalah reducibilitas log-lin-reducibility, yang merupakan reducibilitas logspace dengan kendala tambahan bahwa ukuran string output dari pengurangan paling banyak linier dalam ukuran input. Jika saya ingat dengan benar, masalah keanggotaan untuk tata bahasa yang peka konteks (atau, jika Anda suka, automata terikat linear) adalah masalah kanonik lengkap CSL-wrt log-lin reducibilitas.
Di sisi terapan, masalah universalitas dari ekspresi reguler (biasa) atas alfabet biner, adalah CSL-complete wrt log-lin-reducibility. Gagasan dan hasil kelengkapan ditemukan dalam Albert R. Meyer dan Larry J. Stockmeyer (SWAT 1972) juga: Stockmeyer (tesis PhD, MIT 1974). Untuk latar belakang lebih lanjut dan hasil serupa di daerah itu, lihat juga survei terbaru oleh Holzer dan Kutrib (DLT 2010).
EDIT (2017/03/06): Mengenai pertanyaan kedua Anda, jawaban yang diterima untuk pertanyaan di bawah ini mengutip makalah oleh Rounds (1973), yang membuat otomat stack satu arah yang mengenali SAT. Sementara SAT tidak akan memenuhi syarat sebagai CSL "alami", mungkin layak untuk mencari literatur untuk contoh-contoh lain dari stack automata stack satu arah atau tata bahasa yang diindeks.
Tata bahasa konteks-sensitif untuk SAT?
sumber