Teori Automata, termasuk mesin abstrak, tata bahasa, penguraian, inferensi gramatikal, transduser, dan teknik kondisi-terbatas
Saya telah merevisi Teori Komputasi untuk bersenang-senang dan pertanyaan ini telah mengganggu saya untuk sementara waktu (lucu tidak pernah memikirkannya ketika saya belajar Teori Automata di sarjana saya). Jadi "mengapa" tepatnya kita mempelajari automata terbatas deterministik dan...
Hirarki Chomsky (–Schützenberger) digunakan dalam buku teks ilmu komputer teoretis, tetapi itu jelas hanya mencakup sebagian kecil dari bahasa formal (REG, CFL, CSL, RE) dibandingkan dengan Diagram Kompleksitas Kebun Binatang . Apakah hierarki memainkan peran dalam penelitian saat ini lagi? Saya...
Komputer nyata memiliki memori yang terbatas dan hanya sejumlah negara terbatas. Jadi mereka pada dasarnya automata terbatas. Mengapa ilmuwan komputer teoretis menggunakan mesin Turing (dan model lain yang setara) untuk mempelajari komputer? Apa gunanya mempelajari model yang jauh lebih kuat ini...
Baru-baru ini saya mendengar ini - "Mesin non-deterministik tidak sama dengan mesin probabilistik. Dalam istilah kasar, mesin non-deterministik adalah mesin probabilistik di mana probabilitas untuk transisi tidak diketahui". Saya merasa seolah-olah saya mengerti maksudnya tetapi saya benar-benar...
Selalu ada cara untuk aplikasi dalam topik yang berkaitan dengan ilmu komputer teoretis. Tetapi buku teks dan program sarjana biasanya tidak menjelaskan alasan bahwa teori automata adalah topik penting dan apakah masih memiliki aplikasi dalam praktiknya. Oleh karena itu mahasiswa sarjana mungkin...
Tanyakan bahkan kepada seseorang dengan latar belakang dalam ilmu komputer apa ekspresi reguler itu, dan jawabannya cenderung melampaui batasan berada dalam jangkauan robot kondisi-terbatas. Misalnya, "ekspresi reguler" /^1?$|^(11+?)\1+$/ dibuat oleh kepribadian Perl yang terkenal Abigail (dan...
Saya memerlukan buku teori automata terbatas dengan banyak contoh yang dapat saya gunakan untuk belajar mandiri dan untuk mempersiapkan
Dalam kata pengantar untuk bukunya yang sangat berpengaruh Automata, Bahasa dan Mesin (Volume A, B), Samuel Eilenberg menggoda Volume C dan D yang berurusan dengan "suatu hierarki (disebut hirarki rasional) dari fenomena non-rasional ... menggunakan hubungan rasional sebagai alat untuk...
Sudah diketahui bahwa ekspresi reguler dapat dikenali oleh otomat terbatas nondeterministik dengan ukuran yang sebanding dengan ekspresi reguler, atau oleh FA deterministik yang berpotensi lebih besar secara eksponensial. Lebih lanjut, diberikan string sss dan ekspresi reguler rrr , NFA dapat...
Apakah bahasa { } bebas konteks atau tidak?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Saya menyadari bahwa saya telah menemukan hampir semua varian pertanyaan ini dengan kondisi yang berbeda tentang hubungan antara i, j, dan k, tetapi tidak yang...
Saya bertanya-tanya apakah ada algoritma `` lebih baik '' (saya akan menjelaskan dalam arti apa) untuk memulai dari DFA dan membangun ekspresi reguler r sedemikian rupa sehingga L ( A ) = L ( r ) , daripada yang ada di buku karya Hopcroft and Ullman (1979). Di sana, set R k i j digunakan untuk...
Perbaiki bilangan bulat nnn dan alfabet Σ={0,1}Σ={0,1}\Sigma=\{0,1\} . Tentukan DFA(n)DFA(n)DFA(n) sebagai kumpulan semua automata kondisi terbatas pada nnn status dengan kondisi awal 1. Kami sedang mempertimbangkan semua DFA (tidak hanya yang terhubung, minimal, atau non-degenerasi); demikian,...
Pertimbangkan automata terbatas nondeterministic , dan fungsi . Selain itu kami mendefinisikan .A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i Sekarang mari kita menganalisis pernyataan berikut: Jika ,...
Saya tidak bisa memikirkan model seperti itu, mungkin semacam kalkulus lambda yang diketik? beberapa otomat seluler dasar? Ini hampir akan menyangkal "Prinsip Kesetaraan Komputasi" dari Wolfram: Hampir semua proses yang tidak sederhana dapat dilihat sebagai perhitungan kecanggihan yang...
Perpotongan dua (minimal) DFA dengan n status dapat dihitung menggunakan O (n 2 ) waktu dan ruang. Ini optimal secara umum, karena DFA (minimal) yang dihasilkan mungkin memiliki n 2 status. Namun, jika DFA minimal yang dihasilkan memiliki status z, di mana z = O (n), dapatkah ia dihitung dalam...
1) Apa, jika ada, hubungan antara pengetikan statis dan tata bahasa formal? 2) Secara khusus, apakah mungkin untuk otomat terikat linier untuk memeriksa apakah, katakanlah, program C ++ atau SML diketik dengan baik? Otomat tumpukan bertumpuk? 3) Apakah ada cara alami untuk mengekspresikan aturan...
Untuk bahasa lebih Σ * , mendefinisikan L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . Dengan kata, L 1 / 2 terdiri dari semua x yang ada y panjang yang sama seperti yang x y ∈ L .LLLΣ∗Σ∗\Sigma^*L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L_{1/2} = \{x \in \Sigma^* : xy\in L,...
Diberikan dua string x dan y, saya ingin membangun DFA ukuran minimum yang menerima x dan menolak y. Salah satu cara untuk melakukan ini adalah pencarian brute force. Anda menghitung mulai DFA dengan yang terkecil. Anda mencoba setiap DFA sampai Anda menemukan satu yang menerima x dan menolak...
Misalkan menjadi dua bahasa reguler yang diberikan oleh NFA sebagai input.M 1 , M 2L1,L2L1,L2L_1,L_2M1,M2M1,M2M_1,M_2 Asumsikan kami ingin memeriksa apakah . Ini jelas dapat dilakukan oleh algoritma kuadratik yang menghitung otomat produk , tetapi saya bertanya-tanya apakah ada yang lebih efisien...
Untuk alfabet yang terbatas tetap ΣΣ\Sigma , bahasa formal LLL lebih ΣΣ\Sigma adalah biasa jika ada sebuah robot yang terbatas deterministik (DFA) lebih ΣΣ\Sigma yang menerima persis LLL . Saya tertarik pada bahasa yang "hampir" teratur dalam arti bahwa mereka dapat dikenali oleh automata keluarga...