Pertanyaan yang diberi tag «automata-theory»

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 mengambil keluarga (Ti)i∈1..n(Ti)i∈1..n(T_i)_{i\in 1..n} himpunan bagian dari . DFA Multi-bahasaQQQMMM …

10 automata-theory  dfa 

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} *, kata-kata kita tidak linear tetapi diberikan pada beberapa struktur pohon. Untuk mencegah mesin kami dari "tersesat", tentukan kata-kata kami sebagai himpunan …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

Pernyataan masalah : Biarkan menjadi otomat pushdown (berpotensi tidak deterministik) dan biarkan menjadi alfabet inputnya. Apakah ada kata st yang diterima oleh ?A w ∈ A ∗ | w | ≤ k MM.MMSEBUAHA\cal Aw ∈ A∗w∈A∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kM.MM Apakah ini masalah NP-complete? Apakah sudah …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Apakah ada beberapa hasil pada penyelesaian masalah bahasa formal menggunakan analisis matematika, matematika kontinu. Misalnya, menyelesaikan masalah non-kekosongan persimpangan untuk bahasa bebas konteks dan bahasa biasa.

9 fl.formal-languages  automata-theory  context-free 

Biarkan menjadi alfabet terbatas. Untuk bahasa tertentu yang sintaksis monoid adalah gagasan terkenal dalam teori bahasa formal. Selanjutnya, monoid mengenali bahasa jika ada morfisme sedemikian rupa sehingga .L ⊆ A ∗SEBUAHAAL ⊆ A∗L⊆A∗L \subseteq A^{\ast} M L φ : A ∗ → M L = φ - 1 ( φ …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

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 , …

9 automata-theory  regular-language  monoid 

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 ∗ …

9 automata-theory 

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 transisi dari DFA ukuran paling banyak adalah …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Untuk sementara saya ingin tahu tentang Mesin Turing dengan tepat satu pita dan tepat 3 status (yaitu status awal , status terima , dan status tolak ). Perhatikan bahwa saya membolehkan abjad pita yang terbatas (terbatas) (yaitu, alfabet pita tidak terbatas sama dengan alfabet masukan).q a c c e p …

9 automata-theory  turing-machines  cellular-automata 

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 ditimpa, dan agar kepala tidak pernah bisa keluar dari daerah input, …

9 automata-theory  turing-machines  regular-language  space-bounded 

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 ( N ) menunjukkan hasil dari …

9 automata-theory  minimization 

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 darinya.L.L.LSEBUAHSEBUAHA| A ||SEBUAH||A| Apakah kebalikannya benar? Yaitu diberi multigraf terhubung langsung dengan …

9 graph-theory  automata-theory 

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 terlalu luas, struktur berikut ini sangat menarik: …

9 automata-theory  time-complexity  dfa 

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 itu?

9 fl.formal-languages  automata-theory  context-free 

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 bagus mengapa BBA diberikan lebih sedikit fokus daripada rekan-rekan mereka?

9 computability  fl.formal-languages  automata-theory