Bagaimana kondisi NFA agar ukuran DFA ekivalennya maksimal?


24

Kita tahu bahwa DFA setara dengan NFA dalam kekuatan ekspresif; ada juga algoritma yang dikenal untuk mengubah NFA menjadi DFA (sayangnya saya sekarang tahu penemu algoritma itu), yang dalam kasus terburuk memberi kita status , jika NFA kami memiliki status S2SS

Pertanyaan saya adalah: apa yang menentukan skenario terburuk?


Berikut adalah transkripsi algoritma jika terjadi ambiguitas:

Biarkan menjadi NFA. Kami membuat DFA manaA = ( Q , Σ , δ , q 0 , F )A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)

  • Q=P(Q) ,
  • F={SQ|FS} ,
  • δ(S,a)=sS(δ(s,a)δ^(s,ε)) , dan
  • q0={q0}δ^(q0,ε) ,

mana adalah fungsi transisi diperpanjang . Aδ^A


sebagai komentar menyatakan Anda bisa menyelamatkan Q ini dengan meminta "minimal" NFA untuk DFA (masalah terbuka). selalu berpikir masalah ini terkait erat dengan P =? NP pertanyaan dalam berbagai cara & memiliki beberapa formulasi serupa yang menyarankan itu. ini serupa dengan yang Anda tanyakan tentang DFA "kompresibel" vs "tidak kompresibel" di mana "tidak dapat dipampatkan" adalah kasus terburuk sehingga NFA minimal hampir sebesar DFA. mungkin ada beberapa teorema seperti, "sebagian besar DFA, diambil secara acak, tidak dapat dimampatkan [ke NFA]" karena ada teori serupa dalam teori informasi tentang kompleksitas string string dll.
vzn

Jawaban:


24

Algoritma yang Anda rujuk disebut Konstruksi Powerset, dan pertama kali diterbitkan oleh Michael Rabin dan Dana Scott pada tahun 1959.

Untuk menjawab pertanyaan Anda seperti yang dinyatakan dalam judul, tidak ada maksimal DFA untuk bahasa biasa, karena Anda selalu dapat mengambil DFA dan menambahkan sebanyak negara yang Anda inginkan dengan transisi antara mereka, tapi tanpa transisi antara salah satu asli negara dan salah satu yang baru. Dengan demikian, negara-negara baru tidak akan dicapai dari keadaan awal , sehingga bahasa diterima oleh robot tidak akan berubah (karena δ ( q 0 , w ) akan tetap sama untuk semua w Σ * ).q0δ^(q0,w)wΣ

Yang mengatakan, jelas bahwa tidak ada kondisi pada NFA untuk yang setara DFA menjadi maksimal, karena tidak ada yang unik setara DFA. Sebaliknya, DFA minimal unik hingga isomorfisma.


Contoh kanonik bahasa yang diterima oleh NFA dengan menyatakan dengan DFA setara dengan 2 n menyatakan adalah L = { w { 0 , 1 } : | w | n  dan  simbol ke- n dari yang terakhir adalah 1 } . Sebuah NFA untuk L adalah A = Q , { 0 , 1 } , δ , q 0 , {n+12n

L={w{0,1}:|w|n and the n-th symbol from the last one is 1}.
L , dengan δ ( q 0 , 0 ) = { q 0 } , δ ( q 0 , 1 ) = { q 0 , q 1 } dan δ ( q i , 0 ) = δ ( q i , 1 ) = { q i + 1 } untuk iA=Q,{0,1},δ,q0,{qn+1}δ(q0,0)={q0}δ(q0,1)={q0,q1}δ(qi,0)=δ(qi,1)={qi+1} . DFA dihasilkan dari penerapan pembangunan Powerset untuk NFA ini akan memiliki 2 n negara, karena Anda perlu untuk mewakili semua 2 n kata-kata panjang n sebagai akhiran dari kata dalam L .i{1,,n}2n2nnL

Ngomong-ngomong, jika Anda ingin tanda kurung keriting muncul dalam mode tampilan matematika gunakan \\ {dan \\}.
Zach Langley

@ ZachLangley Saya sudah mencoba, itu tidak berhasil :-(
Janoma

Tampaknya berfungsi untuk saya di pratinjau. Saya tidak dapat mengirimkan hasil edit, karena saya hanya menambahkan empat karakter dan minimum enam. Anda menggunakan dua garis miring terbalik dan tidak berhasil?
Zach Langley

@ZachLangley Berhasil sekarang, tetapi ada dua hal: pertama, tidak berhasil ketika saya pertama kali memposting jawabannya. 2, saya pikir ini tidak konsisten dengan perilaku rendering LaTeX di cstheory, tapi saya mungkin salah.
Janoma

DFA yang dihasilkan minimal? Bisakah Anda berbicara sedikit tentang cara membuktikan bahwa itu minimal?
user834

8

2s{a,b}ababλabab{q1}{q2}{}{q1,q2}


setuju tetapi pertanyaan "apakah ada cara untuk sampai ke setiap bagian yang mungkin dari negara bagian di NFA" adalah nontrivial & layak untuk dipelajari lebih lanjut ....
vzn

-1

Saya percaya ini adalah pertanyaan di garis depan pengetahuan, yaitu pada dasarnya pertanyaan penelitian. Dari pencarian google cepat, tampaknya sebagian besar terbuka. Juga, selama bertahun-tahun saya percaya itu penting dan terkait dengan teori kompleksitas batas bawah. Anda tidak menyebutkan secara langsung analisis statistik tetapi itulah yang tersirat oleh pertanyaan Anda. Berikut adalah dua contoh studi statistik tentang DFA / NFA yang mirip dengan menunjukkan pendekatan umum untuk pertanyaan jenis ini. Tampaknya penelitian empiris dasar terhadap pertanyaan-pertanyaan seperti ini sebagian besar masih belum dijelajahi. Memang yang ke-2 tidak berhubungan langsung dengan pertanyaan Anda, tetapi yang paling dekat yang bisa saya temukan dari penelitian saat ini.

x

Metrik ini akan terkait dengan metrik teori grafik seperti kerapatan tepi dan sebagainya. Mungkin ada beberapa metrik teori grafik yang sangat penting atau campuran metrik yang memperkirakan "ledakan" tetapi tidak segera jelas bagi saya. Saya bisa menyarankan sesuatu seperti metrik pewarnaan grafik atau metrik klik mungkin. Kemudian uji metrik terhadap dua set "meledakkan" vs "tidak meledak".

Jawaban lain untuk pertanyaan Anda sejauh ini hanya memberikan contoh kasus "ledakan" (berguna untuk studi kasus) tetapi tidak membahas masalah utama metrik umum.

Bidang lain untuk melihat program penelitian empiris yang berhasil dikembangkan adalah penelitian titik transisi SAT. Itu telah mengembangkan hubungan yang sangat dalam dengan konsep fisika dan termodinamika. Tampaknya bagi saya konsep yang sama berlaku di sini. Misalnya, seseorang cenderung menemukan metrik jenis titik transisi analog; mungkin kerapatan tepi dll. Perhatikan persamaan dengan teori kompresibilitas Kolmogorov.

Saya menduga juga bahwa NFA yang "meledakkan" vs yang tidak cukup analog entah bagaimana dengan "sulit" vs "mudah" contoh masalah NP-lengkap.

Namun cara lain untuk mempelajari masalah ini adalah dengan merumuskan masalah minimalisasi NFA. Artinya, diberi DFA, temukan NFA minimal, yang terakhir saya dengar (bertahun-tahun lalu) masih menjadi masalah terbuka.


[1] Tentang kinerja algoritma minimisasi automata Marco Almeida, Nelma Moreira, Rogério Reis

[2] Automata Mengenali Tanpa Kata: Suatu Pendekatan Statistik Cristian S. Calude, Cezar Câmpeanu, Monica Dumitrescu

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.