Bahasa dikenali oleh DFA ukuran polinomial

23

Untuk alfabet yang terbatas tetap Σ , bahasa formal L lebih Σ adalah biasa jika ada sebuah robot yang terbatas deterministik (DFA) lebih Σ yang menerima persis L .

Saya tertarik pada bahasa yang "hampir" teratur dalam arti bahwa mereka dapat dikenali oleh automata keluarga ukuran yang hanya tumbuh secara polinomi dengan kata panjang.

Secara formal, saya katakan bahwa bahasa formal adalah diakui oleh DFA keluarga ( A n ) jika untuk setiap kata w Σ * , membiarkan n = | w | , W adalah L IFF A n menerima w (tidak peduli jika yang lain A i menerimanya atau tidak), dan biarkan aku menentukan p-biasa bahasa sebagai bahasa yang diakui oleh PTIME-dihitung keluarga DFA ( A n )L (An)wΣn=|w|wLAnwAi(An)dari ukuran polinom, yaitu, ada polinom sehingga | A n | P ( n ) untuk semua n . (Nama ini, "p-regular", adalah sesuatu yang saya buat, pertanyaan saya adalah untuk mengetahui apakah nama lain sudah ada untuk ini. Perhatikan bahwa ini tidak sama dengan bahasa p-regular dalam arti permutasi automata .)P|An|P(n)n

Kelas bahasa p-reguler ini termasuk bahasa biasa saja (ambil saja untuk semua n , di mana A adalah beberapa DFA yang mengenali bahasa biasa); tetapi ini adalah superset ketat: misalnya, diketahui bahwa { a n b nn N } bebas konteks tapi tidak reguler, tetapi p-reguler ( A n hanya harus menghitung n kemunculan a dan n kemunculan b ). Namun, karena saya memerlukan automata menjadi DFA berukuran polinomialAn=AnA{anbnnN}Annanb, beberapa bahasa formal (sebenarnya beberapa bahasa bebas konteks) tidak p-reguler: misalnya, bahasa palindrom tidak p-reguler, karena, secara intuitif, ketika Anda telah membaca bagian pertama kata, Anda harus memiliki sebanyak mungkin negara yang berbeda karena ada kata-kata yang mungkin, karena Anda harus mencocokkan dengan tepat babak pertama ini dengan yang kedua.

Jadi kelas bahasa p-reguler adalah superset ketat dari bahasa-bahasa biasa yang tidak ada bandingannya dengan bahasa bebas konteks. Bahkan, tampaknya Anda bahkan bisa mendapatkan hierarki bahasa dengan membedakan bahasa p-reguler berdasarkan tingkat terkecil dari polinomial mana mereka adalah P- regular. Tidak terlalu sulit untuk membangun contoh untuk menunjukkan bahwa hierarki ini ketat; meskipun saya belum mengerti dengan baik interaksi antara ini, dan definisi alternatif dari hierarki yang juga akan membatasi kompleksitas komputasi A n .PPAn

Pertanyaan saya adalah: apakah kelas ini yang saya sebut p-regular, dan hierarki terkait, telah dipelajari sebelumnya? Jika ya, di mana dan dengan nama apa?

(Tautan yang mungkin adalah dengan bidang atau streaming, atau algoritma online. Dalam terminologi algoritma Streaming untuk masalah pengenalan bahasa , saya tertarik pada kelas (atau hierarki) bahasa yang dapat memiliki algoritma deterministik, pengenalan sekali jalan, menggunakan jumlah polinomial negara (jadi ukuran memori logaritmik), tetapi saya tidak menemukan definisi kelas ini dalam makalah ini atau makalah terkait. Namun, perhatikan, dalam ungkapan saya tentang masalah, panjang kata diketahui di muka , yang kurang alami dalam konteks streaming: dalam streaming Anda bisa melihat ini sebagai otomat tak terbatas, simbol "akhir kata" khusus, dan batasan bahwa jumlah negara yang dapat dijangkau setelah membaca karakter adalah polinomial dalam nnn. Saya pikir perbedaan ini membuat perbedaan, contoh yang mungkin: bahasa kata-kata biner yang nilainya dapat dibagi dengan panjangnya, yang mudah untuk panjang tetap tetapi (saya duga) tidak dapat diwakili oleh robot tak terbatas dalam pengertian sebelumnya karena tidak ada identifikasi dapat dibuat jika panjangnya tidak diketahui sebelumnya.)

(Motivasi untuk kelas p-reguler ini adalah bahwa beberapa masalah, seperti kemungkinan keanggotaan bahasa untuk kata-kata probabilistik, tampaknya menjadi PTIME tidak hanya ketika bahasa itu teratur, tetapi juga ketika itu adalah p-reguler, dan saya sedang mencoba untuk mengkarakterisasi secara tepat dalam keadaan apa masalah-masalah itu dapat dituntaskan.)

a3nm
sumber
1
Argh, saya belum memikirkan pertanyaan tentang komputabilitas dari . Terima kasih telah menunjukkan ini. Saya baru saja menambahkan persyaratan bahwa mereka dapat dihitung. Mudah-mudahan tidak ada situasi buruk bahasa p-reguler yang perlu menggunakan keluarga yang dapat dihitung tetapi memiliki kompleksitas tinggi ( A n ) ? (An)(An)
a3nm
1
Oke, saya menghapus komentar "tidak dapat dihitung". Tetapi bahkan dengan kendala komputasi Anda masih bisa mendapatkan hal-hal aneh seperti: pilih dan B adalah NEXP-complete ( A n = sebaliknya). Mungkin Anda dapat membatasi lebih lanjut menambahkan batasan bahwa A n harus polinomial waktu yang dapat dihitung?!? An={1nnB}BAn=An
Marzio De Biasi
1
Marzio: Argh, kamu benar. Untuk motivasi saya, gagasan yang tepat adalah bahwa adalah PTIME-computable, ya, jadi saya berubah ke ini ... masih, saya sedikit terganggu bahwa kompleksitas komputasi ( A n ) memiliki pengaruh seperti pada kelas yang dihasilkan (karena ini berarti bahwa ini adalah pilihan tambahan yang harus dibuat dalam definisi ...). Ini juga memperumit gambaran hierarki yang saya pikirkan. An(An)
a3nm
2
Saya tidak melihat apa yang salah dengan uncomputability, apa yang Anda definisikan adalah kelas bahasa yang tidak seragam, seperti banyak kelas sirkuit.
domotorp
3
Jika Anda memperkuat kondisi keseragaman ke logspace, maka semua bahasa tersebut akan dihitung di logspace. Di bawah definisi seperti yang diberikan, semua bahasa p-reguler berada dalam "P-uniform L" (dikenali oleh keluarga P-seragam program percabangan, atau oleh logspace TM dengan saran yang dapat dihitung dengan waktu).
Emil Jeřábek mendukung Monica

Jawaban:

3

pertanyaannya sepertinya tidak banyak dipelajari (satu kemungkinan mencoba menemukan hubungan dengan kelas kompleksitas "terdekat", katakan P / poly, dll); meskipun di sini setidaknya ada satu referensi yang menyentuh:

  • Operasi bahasa dengan ekspresi reguler ukuran polinomial Gruber / Holzer

    Karya ini berkaitan dengan pertanyaan mengenai sejauh mana operasi pengawetan keteraturan memengaruhi kompleksitas deskriptif ekspresi reguler. Beberapa operasi bahasa diidentifikasi yang layak untuk ekspresi reguler dalam arti bahwa hasil operasi dapat direpresentasikan sebagai ekspresi reguler polinomial ukuran dalam operan. Kami membuktikan bahwa mengambil quotient bahasa, khususnya awalan dan penutup sufiks, dari himpunan biasa dapat paling banyak menimbulkan ledakan kuadrat pada ukuran ekspresi yang diperlukan. Operasi shift melingkar hanya dapat menyebabkan peningkatan ukuran kubik dan setidaknya mengasapi kuadrat dapat diperlukan dalam kasus terburuk.

seperti yang disarankan SA mungkin ada cara lain yang lebih alami untuk mempelajari sesuatu seperti pertanyaan yang diajukan. di sini adalah cara lain yang agak mirip untuk mempelajari pertumbuhan bahasa reguler berdasarkan jumlah kata-kata ukuran yang memang memiliki beberapa hubungan yang longgar dengan pertanyaan misalnyan

ay
sumber
4
Meskipun tidak secara eksplisit dinyatakan di sana, bukti hasil utama dari makalah berikut menyiratkan bahwa kelas bahasa p-reguler tidak terkandung dalam monoton NC ^ 1. H. Gruber dan J. Johannsen: "Batas Bawah Optimal pada Ukuran Ekspresi Reguler menggunakan Kompleksitas Komunikasi", FoSSaCS 2008, LNCS 4962, hlm. 273-286. hermann-gruber.com/data/fossacs08.pdf
Hermann Gruber
1
tambahan, berlari di tesis Phd 2010 ini kelas Kompleksitas automata terbatas / Kralovic yang mendefinisikan sesuatu yang mirip dengan apa yang diminta untuk p11 kembali "bahasa kecil". tampaknya survei komprehensif dari area keseluruhan ini & membangun kerangka teori umum / abstraksi konsep terkait. namun jangan melihat banyak teorema yang berhubungan langsung dengan kelas spesifik "keluarga D-ukuran P".
vzn
1
@vzn: Definisi dalam p11 dari tesis Kralovic sedikit berbeda karena ini tentang keluarga bahasa, sedangkan dalam pertanyaan saya berbagai bahasa adalah kata-kata dengan panjang tetap yang diambil hanya dari satu bahasa utama. Saya tidak yakin dengan koneksi Gruber dan Holzer yang Anda berikan, saya tidak melihat bagaimana dalam pertanyaan saya, Anda dapat menganggap automata sebagai hasil dari operasi yang mempertahankan keteraturan secara umum. Adapun Gawrychowski et al, saya setuju itu mungkin terkait secara tangensial.
a3nm
2
ref Gruber / Holzer tampaknya membantu dengan gagasan pengurangan tipe P-regular wrt "P-regular closure". setuju def Anda tampaknya berbeda dari apa pun yang dipelajari. dengan kata lain mungkin ada pengurangan antara beberapa masalah / kelas ini & referensi mengarah ke arah itu & orang mungkin mencari operasi seperti pengurangan yang menghubungkan def Anda ke kelas yang dipelajari / dipublikasikan sebelumnya (setuju bahwa defn Anda tidak menyiratkan sesuatu yang khusus operasi pengurangan). mungkin jawaban ketat untuk pertanyaan Anda adalah "tidak kelas Anda belum diteliti dengan tepat"
vzn