Perbedaan antara bahasa yang diterima oleh dua DFA dengan negara bagian / negara penerima yang berbeda?


9

Baru-baru ini, saya mengajukan pertanyaan tentang Matematika SE. Belum ada tanggapan. Pertanyaan ini terkait dengan pertanyaan itu, tetapi rincian teknis lebih ke arah ilmu komputer.

Diberikan dua DFA dan mana set status, alfabet input, dan fungsi transisi dari dan adalah sama, keadaan awal dan kondisi akhir (menerima) bisa berbeda. Biarkan dan menjadi bahasa yang diterima oleh dan , masing-masing.A=(Q,Σ,δ,q1,F1)B=(Q,Σ,δ,q2,F2)ABL1L2AB

Ada empat kasus:

  1. F 1 = F 2q1=q2 dan .F1=F2
  2. F 1 = F 2q1q2 dan .F1=F2
  3. F 1F 2q1=q2 dan .F1F2
  4. q1q2 dan .F1F2

Pertanyaanku adalah

Apa perbedaan antara dan dalam kasus 2, 3 dan 4?L 2L1L2

Saya punya pertanyaan yang lebih spesifik di sepanjang baris ini,

Transisi mono automaton adalah himpunan semua fungsi pada himpunan status yang diinduksi oleh string input. Lihat halaman untuk detail lebih lanjut. Transoid monoid dapat dianggap sebagai monoid yang bekerja pada himpunan negara. Lihat halaman Wiki ini untuk lebih jelasnya.

Dalam banyak literatur, otomat disebut sangat terhubung ketika aksi monoid transitif, yaitu selalu ada setidaknya satu transisi (input string) dari satu keadaan ke keadaan lain.

Jika dan terhubung automata kuat, apa perbedaan antara dan dalam kasus 2, 3 dan 4 di atas?B L 1 L 2ABL1L2

Adakah literatur yang membahas masalah ini secara terperinci?

Saya telah mencari banyak buku dan artikel dan sejauh ini tidak menemukan apa pun yang bermanfaat. Saya yakin saya belum memiliki kata-kata kunci yang tepat. Karena itu saya mencari bantuan. Setiap petunjuk / referensi akan sangat dihargai.


Apa yang Anda maksud dengan "apa perbedaannya"? Anda ingin tahu apakah dan L 2 dapat / harus berbeda dalam kasus 2,3,4? L1L2
Hendrik Jan

@ HendrikJan Jika Anda membaca jawaban yang diberikan Shaull di bawah ini, Anda akan memahami dan L 2 dapat berbeda. (Dia menggunakan L ( A ) dan L ( B ) ). Saya tidak tahu apakah mereka harus berbeda. Itu bagian dari pertanyaan saya. Saya bertanya "apa perbedaannya?". Saya tidak menyiratkan mereka harus berbeda. L1L2L(A)L(B)
scaaahu

Jawaban:


8

Karena sangat terhubung, maka jika q 1q 2 , ada kata p 1 , p 2 sedemikian rupa sehingga δ ( q 1 , p 1 ) = q 2 dan δ ( q 2 , p 2 ) = q 1 .A,Bq1q2p1,p2δ(q1,p1)=q2δ(q2,p2)=q1

Pertimbangkan kasus 2, lalu iff p 2 w L ( B ) , dan x L ( B ) iff p 1 x L ( A ) . Jadi, Anda dapat menambahkan awalan untuk beralih antar bahasa.wL(A)p2wL(B)xL(B)p1xL(A)

Pertimbangkan kasus 3, sekali lagi - dengan konektivitas yang kuat paling banyak kata s 1 , . . . , s k sedemikian rupa sehingga untuk setiap q iF 1 Anda memiliki δ ( q i , s i ) F 2 , dan demikian pula untuk arah lainnya (dari B ke A ).|F1|s1,...,skqiF1δ(qi,si)F2BA

Dengan demikian, Anda dapat membuat sufiks untuk beralih antar bahasa.

wL(B)p1wsiL(A)si

Cq1q2L(B)=L(C)L(A)

L(B)=qF1L(Aq)L(Eq)AqAF={q}EqqF2

Untuk case 4 Anda dapat menggabungkan keduanya.

Anda mungkin khawatir bahwa ini bukan jawaban yang nyata, tetapi lebih merupakan karakterisasi properti yang menggunakan kata-kata daripada negara, tetapi ini adalah jawaban yang khas dalam bidang ini (mirip dengan teorema Myhill-Nerode).


p1p1δ(q1,p1)=q2L(A)L(B)

Saya mengedit jawabannya dengan beberapa informasi yang lebih tepat.
Shaull

C

Harap perhatikan suntingan tambahan di pos.
Shaull

1
Ide bagus. Anda mengambil satu kondisi terakhir pada suatu waktu kemudian mengambil serikat. Semoga interpretasi saya benar.
scaaahu
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.