Bukti penutupan yang salah di bawah operasi bintang menggunakan NFA menghasilkan NFA mengenali string yang tidak diinginkan?


8

Saat ini saya sedang membaca buku Pengantar Teori Komputasi (edisi ke-2 atau ke-3) oleh Michael Sipser , dan telah menemukan pertanyaan di Bab 1 - Bahasa Reguler , yaitu ketika penulis menyajikan ide bukti Teorema 1.49 - "Kelas bahasa reguler ditutup di bawah operasi bintang." menggunakan NFA.

Pendekatan yang disarankan adalah jika kita memiliki bahasa yang teratur A1 dan ingin membuktikan itu A1 juga biasa, kita bisa mengambil NFA N1 dan memodifikasinya menjadi N seperti pada gambar di bawah ini, yang kemudian mengenali NFA tertentu A1.

Memodifikasi NFA $ N_1 $

Dia mencatat:

Satu (sedikit buruk) ide adalah hanya menambahkan status awal ke set status terima. Pendekatan ini tentu saja menambah ke bahasa yang dikenali, tetapi juga dapat menambahkan string lain yang tidak diinginkan.ε

Saya telah menggambar NFA "buruk" seperti di bawah ini dan mencoba mencari tahu mengapa ini akan menghasilkan string yang tidak diinginkan. Namun, saya tidak dapat menemukan contoh kapan string yang tidak diinginkan dikenali. Mengapa gagasan ini menghasilkan NFA mengenali string yang tidak diinginkan?

masukkan deskripsi gambar di sini

Bisakah seseorang menunjukkan ini untuk saya atau memberi saya petunjuk, atau apakah saya salah mengerti penulis? Terima kasih sebelumnya!

Jawaban:


11

Pertimbangkan otomat dua keadaan untuk bahasa , dua transisi dari keadaan awal, satu perulangan dengan label , yang lain dengan label ke keadaan akhir.abab

Menjadikan final state awal, juga akan menerima .a

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.