Pertanyaan yang diberi tag «automata»

Saya bertanya-tanya, apa kerumitan waktu menentukan kekosongan untuk DFA 2 arah? Yaitu, automata terbatas yang dapat bergerak mundur pada tape input read-only. Menurut Wikipedia, mereka setara dengan DFA, meskipun DFA yang setara mungkin secara eksponensial lebih besar. Saya telah menemukan kompleksitas keadaan untuk komplemen dan persimpangan mereka, tetapi tidak untuk …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Jika tidak, lalu apa artinya bila untuk beberapa negara dan beberapa simbol a , δ ( q , a ) tidak ada?qqqaaaδ(q,a)δ(q,a)\delta(q, a)

12 terminology  automata  finite-automata 

Jadi mengingat dua DFA, apakah masalah menemukan jika mereka menghasilkan bahasa yang sama merupakan masalah yang Layak? Saya sudah tahu bahwa Kesetaraan dua CFL tidak Dapat Dipilih tapi bagaimana dengan Kesetaraan dua DFA? mengingat sebagian besar masalah dengan DFA adalah decidable, apakah ini decidable juga?

11 computability  automata  finite-automata  decision-problem 

Ini mungkin pertanyaan konyol. Tampak jelas bahwa FSA, karena terbatas, hanya dapat menghitung jumlah simbol dalam string inputnya hingga sejumlah yang dibatasi oleh jumlah negara bagian. Tapi sekarang anggaplah kita melengkapi FSA dengan kemampuan output (misalnya pencetakan). Maka akan sangat mudah untuk membangun mesin yang mampu mencetak satu simbol untuk …

11 automata  finite-automata 

Saya bertanya-tanya, karena itu sendiri adalah bahasa bebas bintang, adakah bahasa biasa yang bukan bahasa bebas bintang? Bisakah Anda memberi contoh?Sebuah∗Sebuah∗a^* (dari wikipdia ) Lawson mendefinisikan bahasa bebas bintang sebagai: Bahasa reguler dikatakan bebas bintang jika dapat dijelaskan dengan ekspresi reguler yang dibangun dari huruf-huruf alfabet, simbol himpunan kosong, semua …

11 formal-languages  regular-languages  automata 

Saya memiliki masalah sederhana dalam membuat DFA yang menerima semua input yang dimulai dengan huruf ganda (aa, bb) atau diakhiri dengan huruf ganda (aa, bb), mengingat Σ = { a , b }Σ={Sebuah,b}\Sigma =\{a, b\} adalah set alfabet dari bahasa yang diberikan. Saya mencoba menyelesaikannya secara tidak langsung dengan: Menghasilkan …

11 automata  finite-automata 

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Diberikan dua set A , BSEBUAH,BA,B string lebih dari alfabet ΣΣ\Sigma , dapatkah kita menghitung otomat kondisi-terbatas deterministik terkecil (DFA) M.M.M sehingga A ⊆ L ( M)SEBUAH⊆L.(M.)A \subseteq L(M) dan L ( M) ⊆ Σ∗∖ BL.(M.)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B ? Dengan kata lain, mewakili sekumpulan contoh positif. Setiap string dalam …

11 regular-languages  automata  finite-automata  machine-learning 

Saya bekerja melalui latihan keras di buku teks, dan saya tidak tahu bagaimana untuk melanjutkan. Inilah masalahnya. Misalkan kita memiliki bahasa mana adalah bilangan irasional. Bagaimana saya membuktikan bahwa bukan bahasa bebas konteks?L = { a i b j : i ≤ j γ , i ≥ 0 , j …

10 formal-languages  automata  context-free 

Saya belajar cara mengonversi NFA ke DFA dan saya ingin memastikan saya melakukannya dengan benar. Jelas, kembali ke arah lain bukanlah sesuatu. Adakah yang tahu algoritma untuk memeriksa apakah DFA setara dengan NFA?

10 automata  finite-automata  proof-techniques  nondeterminism 

Algoritma Brzozowski dapat diperluas ke Moore automata tetapi kompleksitas waktunya eksponensial secara umum. Apakah ada algoritma lain untuk meminimalkan Moore automata? Berapa kali menjalankan algoritma ini jika ada?

10 reference-request  automata  optimization  finite-automata  transducers 

Saya telah melihat situs web yang mengaku "membuktikan" bahwa HTML5 + CSS Turing Lengkap. Saya telah melihat situs web yang mengaku "membuktikan" bahwa SQL adalah Turing Lengkap. Saya telah melihat banyak situs web yang dimaksudkan untuk "menjelaskan" apa artinya menjadi Lengkap Turing. Cukup! Di mana saya dapat menemukan buku (ditulis …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

Saya mencari jurusan Ilmu Komputer Teoritis; khususnya, saya tertarik pada teori kompleksitas dan teori automata probabilistik. Ketika saya lulus dalam satu tahun, mata pelajaran matematika apa yang maju (seperti teori Galois atau analisis Harmonic) menurut Anda akan berguna untuk mengambil alih dua semester berikutnya? Mengapa?

10 complexity-theory  automata  education 

Dalam konteks penyelidikan heap automata kami , saya ingin membuktikan bahwa varian tertentu tidak dapat menerima bahasa yang tidak peka konteks. Karena kami tidak memiliki model tata bahasa yang setara, saya perlu bukti yang hanya menggunakan automata; oleh karena itu, saya harus menunjukkan bahwa heap automata dapat disimulasikan oleh LBA …

10 automata  pushdown-automata 

Saya bermain-main dengan demo Labirin Google Blocky , dan ingat aturan lama bahwa jika Anda ingin menyelesaikan labirin, jaga tangan kiri Anda tetap di dinding. Ini berfungsi untuk setiap labirin yang terhubung sederhana dan dapat diimplementasikan oleh transduser terbatas. Biarkan robot kami diwakili oleh transduser dengan tindakan berikut, dan dapat …

10 automata  finite-automata  artificial-intelligence