Pembaruan: Tampaknya masalah ini telah dipelajari dan diselesaikan baru-baru ini, lihat artikel wiki ini: http://en.wikipedia.org/wiki/Tree_walking_automaton Dan juga survei ini: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Misalkan alih-alih seperangkat kata yang biasa, {0,1} *,...
DFA atau NFA membaca melalui string input dengan satu kepala, bergerak dari kiri ke kanan. Tampaknya wajar untuk bertanya-tanya tentang mesin negara-terbatas yang memiliki banyak kepala , yang masing-masing bergerak melalui input dari kiri ke kanan, tetapi tidak harus di tempat yang sama dalam...
Saya tertarik dengan sedikit generalisasi DFA. Seperti biasa kita memiliki set-negara QQQ , alfabet terbatas ΣΣ\Sigma , sebuah aksi Σ∗Σ∗\Sigma^* didefinisikan pada QQQ oleh δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Q , dan kondisi awal q0q0q_0 ; tapi bukannya biasa set terminal, kita...
Apakah ada 2DFA dengan negara (di mana n adalah non trivial, katakan setidaknya 4) yang membutuhkan setidaknya 2 negara n untuk mensimulasikan menggunakan DFA?nnnnnn2n2n2^n Sebuah dua arah DFA (2DFA) adalah deterministik finite-state automaton yang diperbolehkan untuk bergerak maju mundur pada...
Otomat deterministik disebut k- lokal untuk k > 0 jika untuk setiap w ∈ X k himpunan { δ ( q , w ) : q ∈ Q } berisi paling banyak satu elemen. Secara intuitif itu berarti jika kata w dengan panjang k mengarah ke keadaan, maka keadaan ini unik, atau dikatakan berbeda dari kata panjang yang...
Khususnya yang saya maksud dengan penambahan adalah, kita mendefinisikan sebagai alfabet . Mengingat bahasa biasa dan di bawah beberapa alfabet , lihat . { 0 , 1 , 2 , . . . , i } A B Σ i A × BΣsayaΣi\Sigma_i{ 0 , 1 , 2 , . .. , saya }{0,1,2,...,i}\{0, 1, 2, ..., i\}SEBUAHAABBBΣsayaΣi\Sigma_iA ×...
Apa pendekatan standar untuk meminimalkan Büchi-Automata (atau juga Müller-Automata)? Mentransfer teknik yang biasa dari kata-kata terbatas, yaitu menetapkan dua negara menjadi sama jika kata-kata "kehabisan" dari negara-negara yang diterima adalah sama, tidak akan berfungsi. Misalnya,...
Ada masalah terbuka dalam bahasa formal yang dikenal sebagai Masalah Pemisahan; yang secara singkat dinyatakan memiliki dua string panjang , seberapa besar DFA diperlukan untuk "memisahkan" mereka, artinya menerima satu string tetapi menolak yang lain.nnn Berikut adalah beberapa makalah yang...
Biarkan nomor diberikan. Pertimbangkan bahasa berikut L n = {nnn .L.n= {ww|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Dengan kata lain, adalah himpunan string salinan dengan panjang 2 n .L.nLnL_n2 n2n2n Pertimbangkan fungsi kompleksitas keadaan berikut...
Transduser yang dipertimbangkan di sini adalah Wikipedia yang disebut transduser keadaan terbatas . Perilaku transduser , yaitu, hubungan yang dihitungnya, ditulis : kata adalah output untuk iff .TTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Pertanyaan: Apakah masalah berikut dapat diputuskan:...
Secara khusus saya maksudkan keluarga bahasa yang menerima string panjang yang sewenang-wenang - bukan konjungsi atas n bit atau daftar keputusan atau bahasa "sederhana" lainnya yang terkandung dalam {0,1} ^ n. Saya bertanya tentang bahasa reguler "automata-theoretic" sebagai lawan dari bahasa...
Dalam pengalaman saya, bahasa yang peka konteks dan automata terbatas linier sering dilewati atau dilompati dalam mata kuliah teori komputabilitas, dan bahkan ditinggalkan dari beberapa buku teks terkemuka, meskipun automata terbatas dan pushdown menerima banyak perhatian. Tentunya harus ada alasan...
Saya ingin tahu mengapa untuk pengenalan bahasa bebas konteks, hanya automata push-down (DPA = NPDA) non-deterministik yang berfungsi. Mengapa deterministic push-down automata (DPDA) tidak mengenali bahasa seperti
Saya tertarik pada algoritma yang efisien untuk persimpangan DFA untuk kasus khusus. Yaitu, ketika DFA untuk memotong mematuhi struktur tertentu dan / atau beroperasi pada alfabet terbatas. Apakah ada sumber di mana saya dapat menemukan algoritma kasus seperti itu? Agar tidak membuat pertanyaan...
Diberi bahasa reguler pada alfabet , otomat deterministik minimalnya dapat dilihat sebagai multigraf terhubung langsung dengan out-degree konstandan kondisi awal yang ditandai (dengan melupakan label transisi, status akhir). Kami menjaga keadaan awal karena setiap titik harus dapat diakses...
Algoritma Brzozowski untuk mengubah DFA menjadi DFA minimum-state yang ekuivalen sangat sederhana: jika menunjukkan NFA yang dibentuk dengan membalik semua tepi dalam DFA D , menjadikan state awal yang lama sebagai negara penerima, dan menjadikan yang lama menerima negara mulai negara, dan jika P (...
Apakah automata linear terikat kunjungan terbatas terikat hanya mengenali bahasa biasa? Dengan otomaton linear terikat nondeterministik (nLBA) yang saya maksud adalah mesin Turing nondeterministik single-tape di mana input datang "empuk" dengan endmarker di kedua ujungnya yang tidak pernah dapat...
Biarkan menjadi alfabet ukuran , dan pertimbangkan DFA minimal yang ukurannya dibatasi paling banyak . Misalkan menunjukkan jumlah DFA minimal yang berbeda.2 m f ( m )ΣΣ\Sigma222mmmf( m )f(m)f(m) Bisakah kita menemukan rumus bentuk tertutup untuk ?f( m )f(m)f(m) Menimbang bahwa untuk fungsi...
Biarkan menjadi alfabet terbatas. Sebuah kode X lebih Σ adalah himpunan bagian dari Σ * sehingga setiap kata dalam X * dapat direpresentasikan unik sebagai gabungan dari kata-kata dalam X . Kode X adalah terbatas jika | X | terbatas. Apa yang diketahui tentang (minimal) automata yang mengenali X ∗...
Mengingat lengkap DFA , kita dapat mendefinisikan kumpulan fungsi f suatu untuk setiap satu ∈ Γ dan dengan f a : Q → Q , f a ( q ) = δ ( q , a ) . Kita dapat menggeneralisasikan gagasan ini ke kata w = a 1 , ⋯ , a m dan f wA=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F)fafaf_aa∈Γa∈Γa\in...