Pertanyaan yang diberi tag «automata-theory»

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

5
Apa model automaton terkemuka yang mengandung polinomially-decidable?
Saya mencoba untuk memecahkan masalah tertentu, dan saya pikir saya mungkin bisa menyelesaikannya dengan menggunakan teori automata. Saya bertanya-tanya, model automata apa yang memiliki penahanan yang dapat ditentukan dalam waktu polinomial? yaitu jika Anda memiliki mesin Anda dapat menguji apakah efisien.M1,M2M1,M2M_1, M_2L ( M1) ⊆ L ( M2)L(M.1)⊆L(M.2)L(M_1) \subseteq L(M_2) …
2
Batas pada ukuran NFA terkecil untuk L_k-berbeda
Pertimbangkan bahasa Lk−distinctLk−distinctL_{k-distinct} yang terdiri dari semua kkk -surat string lebih ΣΣ\Sigma sehingga tidak ada dua huruf yang sama: Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi}Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi} L_{k-distinct} :=\{w = \sigma_1\sigma_2...\sigma_k \mid \forall i\in[k]: \sigma_i\in\Sigma ~\text{ and }~ \forall j\ne i: \sigma_j\ne\sigma_i \} Bahasa ini terbatas dan karenanya teratur. Khususnya, jika |Σ|=n|Σ|=n\left|\Sigma\right|=n , …
5
Apakah mungkin untuk menguji apakah bilangan yang dihitung rasional atau bilangan bulat?
Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
Automata terbatas yang menerima string biner dapat dibagi oleh n
Saya sedang mengerjakan set masalah untuk kelas, dan memikirkan pertanyaan terkait dengan apa yang saya kerjakan. Apakah ada jumlah minimum status yang harus dimiliki otomat terbatas untuk menerima string biner yang mewakili angka yang dapat dibagi oleh bilangan bulat n? Dalam set masalah sebelumnya, saya bisa membangun DFA yang menerima …
2
Referensi untuk pendekatan "lebih aljabar" untuk pushdown automata dan CFL?
Dalam buku Sakarovitch tentang teori automata, ada tertulis di bagian pengantar tentang rasionalitas dalam kelompok bebas bahwa materi yang disajikan di dalamnya meletakkan "landasan teori matematika yang benar-benar bahasa bebas konteks". Namun demikian, ini tidak dibuat eksplisit, karena bahasa bebas konteks dan automata pushdown berada di luar cakupan buku ini. …
2
Bahasa unary dikenali oleh counter automata deterministik dua arah
2dca (dua arah deterministik one-counter automata) (Petersen, 1994) dapat mengenali bahasa unary berikut: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Apakah ada bahasa unary nontrivial lain yang dikenali oleh 2dca? Perhatikan bahwa masih belum diketahui apakah 2dca dapat mengenali ?SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = \lbrace 0^{n^2} \mid n …
1
menghitung NFA minimal untuk DFA
Bertahun-tahun yang lalu saya mendengar bahwa menghitung NFA minimal (otomat hingga nondeterministik) dari DFA (deterministik) adalah pertanyaan terbuka, berlawanan dengan arah sebaliknya yang telah dikenal selama beberapa dekade dan diteliti dengan baik dengan efisien algoritma. Adakah yang datang dengan algoritma?O ( n lgn)O(nlg⁡n)O(n \lg n) Pencarian cepat memberi saya makalah …
1
Hubungan kuadratik antara ruang nondeterministik dan deterministik?
Teorema Savitch menunjukkan bahwa untuk semua fungsi yang cukup besar , dan membuktikan bahwa ini ketat telah menjadi masalah terbuka selama beberapa dekade. .fNSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff Misalkan kita mendekati masalah dari ujung yang lain. Untuk kesederhanaan, asumsikan alfabet Boolean. Jumlah ruang yang digunakan oleh TM untuk menentukan bahasa yang dapat …
1
Apakah DPDA tanpa
Dalam deskripsi formal Deterministic Pushdown Automata, mereka memungkinkan bergerak, di mana mesin dapat memunculkan atau mendorong simbol ke stack tanpa membaca simbol dari input. Jika ϵ gerakan ini tidak diizinkan, dan tumpukan hanya dapat dimodifikasi satu kali setelah setiap simbol dibaca, apakah automata yang dihasilkan setara dengan daya untuk DPDA?ϵϵ\epsilonϵϵ\epsilon …
1
Dapatkah ambiguitas konstan mengurangi kompleksitas keadaan bahasa reguler?
Kami mengatakan bahwa NFA adalah Konstanta Ambigu jika ada sehingga setiap kata diterima oleh atau (persis) jalur .MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Jika automaton secara konstan ambigu untuk , maka disebut Unambiguous FA (UFA).MMMk=1k=1k=1MMM Biarkan menjadi bahasa biasa.LLL Bisakah beberapa automaton yang selalu ambigu untuk lebih kecil dari UFA terkecil yang menerima …
2
Seberapa kecil NFA dapat, dibandingkan dengan minimal Unambiguous Finite Automaton (UFA) dari bahasa reguler yang sama?
Finite Automatons (UFA) yang tidak ambigu adalah tipe khusus dari finite automatons (NFA) non-deterministik. NFA disebut tidak ambigu jika setiap kata memiliki paling banyak satu jalur penerimaan.w ∈ Σ∗w∈Σ∗w\in \Sigma^* Ini berarti .D FA ⊂ UFA ⊂ NFSEBUAHDFSEBUAH⊂UFSEBUAH⊂NFSEBUAHDFA\subset UFA\subset NFA Hasil otomat terkait yang diketahui: Minimalisasi NFA adalah PSPACE-Complete. Minimalisasi …
1
Apakah ada varian automata yang tampak tertekan yang memungkinkan mendorong kata ke stack?
Saya bertanya-tanya, apakah ada makalah atau penelitian yang berhubungan dengan automata yang terlihat jelas, tetapi membiarkan kata-kata, daripada huruf tunggal, untuk didorong ke tumpukan. Bergantian, konstruksi yang memungkinkan untuk simbol harus didorong pada -transitions bisa mencapai tujuan yang sama.ϵϵ\epsilon Jelas, variasi seperti itu dapat dibentuk, tapi saya bertanya-tanya apakah itu …
1
Rangkaian DFA yang efisien?
Ada bukti teoretis bahwa konstruksi produk-kartesian naif untuk persimpangan DFA adalah "yang terbaik yang bisa kita lakukan". Bagaimana dengan gabungan dua DFA? Konstruksi sepele melibatkan konversi setiap DFA menjadi NFA, menambahkan transisi epsilon dan menentukan NFA yang dihasilkan. Bisakah kita berbuat lebih baik? Apakah ada batasan yang diketahui pada ukuran …
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.