Pertanyaan yang diberi tag «automata-theory»

Teori Automata, termasuk mesin abstrak, tata bahasa, penguraian, inferensi gramatikal, transduser, dan teknik kondisi-terbatas

4
Persimpangan DFA di ruang subquadratic?
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
Memutuskan kekosongan persimpangan bahasa reguler dalam waktu subquadratic
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 diketahui.M 1 , M 2L1∩L2≠∅L1∩L2≠∅L_1\cap L_2\neq \emptysetM1,M2M1,M2M_1,M_2 Apakah ada …
2
Menguji apakah surat dapat dijadwalkan untuk mencapai kata dalam bahasa biasa
Aku memperbaiki bahasa reguler LLL pada alfabet ΣΣ\Sigma , dan saya menganggap masalah berikut yang saya sebut penjadwalan surat untuk LLL . Informal, input memberi saya nnn huruf dan interval untuk setiap huruf (yaitu, posisi minimal dan maksimal), dan tujuan saya adalah menempatkan setiap huruf dalam intervalnya sehingga tidak ada …
4
Bukti lemma pemompaan untuk bahasa bebas konteks menggunakan pushdown automata
The lemma memompa untuk bahasa reguler dapat dibuktikan dengan mempertimbangkan negara yang terbatas robot yang mengakui bahasa dipelajari, memetik string dengan lebih panjang daripada jumlah kantor negara, dan menerapkan prinsip mengesampingkan. Namun, memompa lemma untuk bahasa bebas konteks (serta lemma Ogden yang sedikit lebih umum), dibuktikan dengan mempertimbangkan tata bahasa …
3
Jika mesin abstrak dapat mensimulasikan dirinya sendiri, apakah itu membuatnya Turing lengkap?
Sebagai contoh, dalam bahasa pemrograman adalah umum untuk menulis kompiler / juru bahasa X-in-X, tetapi pada tingkat yang lebih umum banyak sistem Turing-complete yang dikenal dapat mensimulasikan diri mereka dengan cara yang mengesankan (misalnya mensimulasikan Game of Life Conway dalam Game of Life Conway ). Jadi pertanyaan saya adalah: apakah …
1
Dugaan tentang dua counter automata
Saya ingin membuktikan (atau menyangkal) dugaan berikut: Dugaan : two counter automata (2CA) tidak dapat memutuskan bahasa berikut: L = { n ∣L.={n∣L = \{ n \mid representasi terner dan biner dari memiliki panjang genap atau ganjilnnn}}\} Sebuah 2CA dapat dengan mudah memeriksa apakah representasi biner memiliki panjang genap atau …
3
Apakah konsep Mesin Turing berasal dari automata?
Saya baru-baru ini berdiskusi tentang Mesin Turing ketika saya ditanya, "Apakah Mesin Turing berasal dari automata, atau sebaliknya?" Tentu saja saya tidak tahu jawabannya, tetapi saya ingin tahu. Mesin Turing pada dasarnya adalah versi yang sedikit lebih canggih dari Automata Push-Down. Dari itu saya akan berasumsi bahwa Mesin Turing berasal …
2
Status dugaan Cerny?
DFA memiliki kata sinkronisasi jika ada string yang mengirim keadaan DFA ke satu keadaan. Dalam 'The Cerny Conjecture for Aperiodic Automata ”oleh AN Trahtman (Matematika Diskrit dan Ilmu Komputer Teoritis vol. 9: 2, 2007, hal.3-10), ia menulis, Cerny menduga pada tahun 1964 bahwa setiap N-state DFA yang dapat disinkronisasi memiliki …
4
Di mana sebagian besar implementasi REGEX berada pada skala kompleksitas?
Kebanyakan implementasi modern dari ekspresi reguler, seperti yang ada di perl atau .NET, melampaui definisi ilmu komputer klasik dari REGEX dengan fitur-fitur seperti lookahead dan lookbehind. Apakah fitur-fitur ini membuat mereka menguraikan pernyataan yang tidak dapat dijelaskan dengan otomat terbatas, non-pushdown? Seberapa jauh lebih dekat dengan turing menyelesaikan ini membuat …
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.