Pertanyaan yang diberi tag «automata»

Dalam kursus Teori Komputasi saya, banyak masalah kami melibatkan penggunaan induksi pada panjang string input untuk membuktikan pernyataan tentang automata terbatas. Saya mengerti induksi matematika, namun ketika string mulai dimainkan, saya benar-benar tersandung. Saya akan sangat menghargai jika seseorang akan melalui proses pembuatan bukti setahap demi setahap. Inilah contoh masalah …

20 automata  finite-automata  proof-techniques  reference-question  induction 

Semua automata terbatas non-deterministik dapat diubah menjadi automata terbatas deterministik yang setara. Namun, automata terbatas deterministik hanya memungkinkan satu panah per simbol yang menunjuk dari suatu negara. Oleh karena itu, negara-negara bagian tersebut harus menjadi anggota set kekuasaan negara-negara NFA. Ini tampaknya menunjukkan bahwa jumlah negara bagian DFA dapat diukur …

20 automata  finite-automata  nondeterminism 

Saya telah membaca halaman wikipedia untuk aturan 110 dalam automata seluler, dan saya kurang lebih tahu cara kerjanya (seperangkat aturan menentukan di mana menggambar 1 atau 0 berikutnya). Saya baru saja membaca bahwa Turing sudah lengkap, tetapi saya bahkan tidak bisa mengerti bagaimana Anda 'memprogram' dalam 'aturan 110'?

19 computability  automata  turing-completeness  cellular-automata 

Membiarkan L={an∣∃p≥n p, p+2 are prime}.L.={Sebuahn∣∃hal≥n hal, hal+2 adalah prima}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Apakah teratur?LL.L Pertanyaan ini tampak mencurigakan pada pandangan pertama dan saya menyadari bahwa itu terkait dengan dugaan kembar utama . Masalah saya adalah dugaan itu belum terselesaikan, jadi …

19 formal-languages  automata  regular-languages  finite-automata 

Saya terjebak pada pertanyaan berikut: "Bahasa reguler adalah persis yang diterima oleh automata terbatas. Mengingat fakta ini, menunjukkan bahwa jika bahasa LLL diterima oleh beberapa otomat terbatas, maka LRLRL^{R} juga diterima oleh beberapa yang terbatas; LRLRL^{R} terdiri dari semua kata LLL terbalik."

19 formal-languages  regular-languages  automata  finite-automata 

Apakah mesin Turing tanpa kemampuan menulis di sel kosong kurang kuat daripada Turing standar? Saya pikir jawabannya adalah ya tetapi saya tidak dapat menemukan perhitungan yang dapat dilakukan mesin standar Turing tetapi mesin ini tidak bisa. Ada ide?

18 formal-languages  turing-machines  computability  automata 

Bisakah tata bahasa bebas konteks menyertakan "keadaan mati" dari otomat, seperti G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B → C, C→ c C} , A )?G=({Sebuah,b,c},{SEBUAH,B,C},{SEBUAH→SebuahB,B→b,B→C,C→cC},SEBUAH)?G = \big(\{a, …

18 context-free  automata  formal-grammars 

Definisi utama Turing machine (TM), setidaknya dalam buku referensi saya sendiri (Hopcroft + Ullman 1979) adalah deterministik. Oleh karena itu pemahaman saya sendiri tentang masalah penghentian terutama untuk TM deterministik, meskipun saya sadar bahwa itu dapat dipertimbangkan untuk jenis automata lainnya. Saya juga memperhatikan bahwa determinisme sering kurang lebih tersirat …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Sebagai Contoh ketika kita mempertimbangkan DFA yang memungkinkan string tidak memiliki sub-string 00atau 11saya dapat menghasilkan dua DFA berikut:

17 automata  finite-automata 

Saya telah menggunakan FSM dalam desain Sirkuit berurutan Digital. Tapi saya tidak terbiasa dengan Finite Automata. Adakah yang bisa membantu saya memahami perbedaan 'dasar' di antara keduanya?

16 terminology  automata  finite-automata 

Saya bertanya-tanya apakah ini bahkan mungkin, karena {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} . Oleh karena itu PDA yang dapat membedakan kata w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} dari sisa {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} mungkin juga menerimanya, yang kedengarannya bertentangan dengan saya. Saya kira saya perlu mengambil keuntungan dari …

16 formal-languages  automata  context-free  pushdown-automata 

Sebuah robot yang terbatas deterministik (DFA) adalah model mesin negara yang mampu menerima semua dan hanya bahasa biasa. DFAs dapat (dan biasanya) didefinisikan sedemikian rupa bahwa setiap negara harus menyediakan beberapa transisi untuk semua elemen dari alfabet masukan; dengan kata lain, fungsi transisi harus (total) fungsi.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times \Sigma …

16 formal-languages  automata  finite-automata 

Ini adalah pertanyaan tindak lanjut dari yang satu ini . Dalam pertanyaan sebelumnya tentang mesin negara eksotis , Alex ten Brink dan Raphael membahas kemampuan komputasi dari jenis mesin negara yang aneh: min-heap automata. Mereka mampu menunjukkan bahwa himpunan bahasa yang diterima oleh mesin tersebut ( ) bukan merupakan himpunan …

16 formal-languages  automata  closure-properties 

Mesin penghitung dengan dua atau lebih penghitung biasanya ditunjukkan setara dengan mesin Turing dalam kursus tentang teori perhitungan. Namun, saya belum melihat analisis formal yang bahasa dapat dikenali oleh mesin satu-counter. Apakah bahasa-bahasa ini setara dengan bahasa bebas konteks (mungkin oleh konstruksi cerdas yang mengaitkannya dengan PDA), atau apakah mereka …

15 computability  automata 

Apakah ada properti yang tidak dapat ditentukan dari automata terbatas linier (menghindari trik bahasa set kosong)? Bagaimana dengan robot terbatas deterministik? (kesampingkan keras kepala). Saya ingin mendapatkan contoh (jika mungkin) dari masalah yang tidak dapat ditentukan yang didefinisikan tanpa menggunakan mesin Turing secara eksplisit. Apakah Turing kelengkapan model diperlukan untuk …

15 computability  automata  undecidability