Hirarki Chomsky (–Schützenberger) digunakan dalam buku teks ilmu komputer teoretis, tetapi itu jelas hanya mencakup sebagian kecil dari bahasa formal (REG, CFL, CSL, RE) dibandingkan dengan Diagram Kompleksitas Kebun Binatang . Apakah hierarki memainkan peran dalam penelitian saat ini lagi? Saya hanya menemukan sedikit referensi untuk Chomsky di sini di cstheory.stackexchange, dan di Complexity Zoo nama-nama Chomsky dan Schützenberger tidak disebutkan sama sekali.
Apakah penelitian saat ini lebih fokus pada cara deskripsi lain selain tata bahasa formal? Saya mencari metode praktis untuk menggambarkan bahasa formal dengan ekspresi yang berbeda, dan menemukan bahasa sensitif konteks yang berkembang (GCSL) dan bahasa pushdown (VPL), yang keduanya terletak di antara bahasa Chomsky klasik. Bukankah hierarki Chomsky diperbarui untuk memasukkan mereka? Atau apakah tidak ada gunanya memilih hierarki tertentu dari set lengkap kelas kompleksitas? Saya mencoba memilih hanya bahasa-bahasa yang sesuai dengan celah hierarki Chomsky, sejauh yang saya mengerti:
REG (= Chomsky 3) ⊊ VPL ⊊ DCFL ⊊ CFL (= Chomsky 2) ⊊ GCSL ⊊ CSL (= Chomsky 1) ⊊ R ⊊ RE
Saya masih belum mendapatkan di mana "bahasa yang agak peka konteks" dan "bahasa yang diindeks" cocok (di suatu tempat antara CFL dan CSL) meskipun tampaknya ada relevansi praktis untuk pemrosesan bahasa alami (tapi mungkin apa pun relevansi praktis kurang menarik dalam penelitian teoritis ;-). Selain itu Anda bisa menyebutkan GCSL ⊊ P ⊂ NP ⊂ PSPACE dan CSL ⊊ PSPACE ⊊ R untuk menunjukkan hubungannya dengan kelas P dan NP yang terkenal.
Saya temukan di GCSL dan VPL:
- Robert McNaughton: Sebuah Penyisipan ke dalam Hirarki Chomsky ?. Dalam: Jewels is Forever, Kontribusi pada Ilmu Komputer Teoretis untuk Kehormatan Arto Salomaa. S. 204-212, 1999
- http://en.wikipedia.org/wiki/Nested_word#References (VPL)
Saya juga akan senang jika Anda mengetahui buku teks terbaru tentang tata bahasa formal yang juga berhubungan dengan VPL, DCLF, GCSL dan tata bahasa yang diindeks, lebih disukai dengan pointer ke aplikasi praktis.