Ada teorema yang mengatakan bahwa: Diberi otomat keadaan terbatas yang memiliki keadaan, jika ada string yang panjangnya memenuhi n \ leq | w | \ leq 2n-1 maka bahasa yang diterima oleh automaton tidak terbatas.w n ≤ | w | ≤ 2 n - 1nnnwwwn ≤ | w | ≤ 2 n - 1n≤|w|≤2n−1n \leq |w| \leq 2n-1 Saya...
Ini adalah pertanyaan lanjutan dari pertanyaan ini . Dalam pertanyaan sebelumnya tentang mesin negara eksotis , Alex ten Brink dan Raphael membahas kemampuan komputasi jenis mesin negara yang aneh: min-heap automata. Mereka mampu menunjukkan bahwa himpunan bahasa yang diterima oleh mesin tersebut...
Saya mendapat ujian beberapa hari dan memiliki masalah untuk menyelesaikan tugas ini. Membiarkan LLL menjadi bahasa biasa di atas alfabet ΣΣ\Sigma. Kami memiliki operasi cycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in \Sigma^* \text{ and }...
Jadi saya sudah menggaruk-garuk kepala karena masalah ini selama beberapa hari sekarang. Diberi beberapa bahasaAAAdan yang teratur, menunjukkan bahwa bahasa yang terdiri dari semua string dalam yang panjangnya sama dengan beberapa string dalam adalah bahasa biasa.BBBLLLAAABBB Dalam bentuk...
Bagaimana saya menunjukkan bahwa masalah dalam memutuskan apakah PDA menerima beberapa string dari formulir {w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} tidak dapat diputuskan? Saya telah mencoba untuk mengurangi masalah ini ke masalah lain yang tidak dapat diputuskan seperti...
Biarkan A={L∣Lis one-counter and L¯ is also one-counter}A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Jelas,Deterministic one-counter⊆ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A Apakah ini...
Apakah bahasa bebas konteks?L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} Saya kira itu bukan konteks bebas karena tampaknya terlalu rumit untuk PDA untuk memutuskan apakah 2 angka adalah co-prime atau tidak. Saya mencoba...
Apakah PC kami berfungsi sebagai Mesin Turing? Model Mesin Turing terdiri dari pita memori tak terbatas, yang berarti status tak terbatas. Tapi anggaplah jika PC kita memiliki 128 MB memori dan 30GB disk itu akan memiliki 256 ^ 30128000000 negara dan dengan demikian, ia memiliki status yang...
Pertimbangkan masalah alam semesta berikut ini . Masalah alam semesta. Diberikan himpunan terbatas untuk kelas bahasa, dan otomat yang menerima bahasa , putuskan apakah .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Dalam [1], dinyatakan dan dibuktikan bahwa masalah alam semesta tidak dapat diputuskan untuk...
Slide kuliah ini membuat sketsa bukti ituL={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} tidak dapat diterima oleh Deterministic Pushdown Automaton. Sayangnya, slide tidak memberikan referensi ke mana bukti itu berasal. Saya...
Ini agak terkait dengan pertanyaan lain yang saya ajukan , tetapi saya merasa itu cukup berbeda untuk menjamin pertanyaannya sendiri. Saya sedang melakukan penelitian di mana saya mencoba untuk menemukan struktur pelengkap kelas tertentu dari bahasa yang terbatas. Sangat mudah bagi saya untuk...
Saya telah mencoba cukup lama untuk menemukan konstruksi sehingga saya dapat secara resmi menunjukkan bahwa PDA deterministik ditutup dengan komplementasi. Namun, kebetulan setiap ide yang saya dapatkan memiliki sesuatu yang pada akhirnya tidak cocok. Bisakah Anda membantu saya? Masalah utama...
Membiarkan MMM menjadi NFA asiklik. Sejak MMM asiklik, L(M)L(M)L(M) terbatas. Bisakah kita menghitung |L(M)||L(M)||L(M)| dalam waktu polinomial? Jika tidak, bisakah kita memperkirakannya? Perhatikan bahwa jumlah kata tidak sama dengan jumlah jalur penerimaan di MMM, yang mudah...
Menurut grafik ini , DCFL ditutup di bawah pembalikan. Namun, saya tidak yakin sebagai bukti intuitif (membalikkan panah dari mesin negara hingga dan mengalihkan dorongan dan muncul) untuk ini tampaknya tergantung pada non-determinisme dalam memilih transisi nol untuk mengambil dari keadaan awal...
Saya memiliki otomat terbatas tanpa status akhir / penerimaan, jadi F kosong. Bagaimana cara menguranginya? Saya mendapatkan ini pada tes dan saya tidak tahu bagaimana mendekati masalah karena otomat tidak memiliki keadaan menerima. Apakah satu keadaan awal dengan semua transisi itu sendiri adalah...
Saya tidak dapat menemukan grafik yang menggambarkan atau teks yang menjawab pertanyaan berikut: Apakah ada hubungan langsung antara kompleksitas suatu algoritma (seperti kasus cepat / terbaik terbaik), dan kelas automata yang dapat mengimplementasikan algoritma. Misalnya apakah ada serangkaian...
L : = { w ∈ { 0 , 1}∗|L.: ={w∈{0,1}∗|L := \{w \in \{0,1\}^* | panjang adalah ganjil 1 ada di tengahwww∧∧ \wedge w }w}w\} Jadi alfabetnya adalah . Masalah saya adalah saya tidak bisa melacak persamaan karakter sebelum dan sesudah . DFA terbatas dengan panjang kurang dari 6:{ 0 ,...
Ini adalah sesuatu yang tidak dapat saya temukan - tetapi saya selalu merasa menarik bahwa lemma pemompaan hanyalah sebuah lemma (terutama karena ia memiliki nama yang sama untuk bahasa biasa, bahasa bebas konteks, dll ...) Apa itu
Diberi DFA, A, misalkan L (A) menunjukkan jumlah kata yang diterima A. Saya pikir mudah untuk menghitung L (A): Terjemahkan pengkodean A ke dalam ekspresi reguler. Jika bintang Kleene muncul di mana saja dalam ekspresi - bahasanya tidak terbatas. Lain: Periksa dan hitung semua kombinasi kata yang...
Setelah kelas Teori Komputasi saya hari ini, pertanyaan ini muncul di benak saya: Jika masalah dapat diselesaikan oleh robot terbatas, masalah ini milik P. Saya pikir itu benar, karena automata mengenali bahasa yang sangat sederhana, maka semua bahasa ini akan memiliki algoritma polinomial untuk...