Pertanyaan yang diberi tag «automata-theory»

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 "logic-theoretic": sesuatu seperti bahasa yang dapat diuji secara terpisah, …

9 automata-theory  machine-learning  lg.learning 

Saya mencari untuk menulis survei tentang metode yang mewakili dinamika perhitungan berbasis negara dalam kerangka kerja coalgebras. Sejauh ini saya sudah berhasil menemukan makalah tentang representasi coalgebra DFA, NFA, mesin Mealy, mesin Moore, tata bahasa bebas konteks, dan bahkan sistem kuantum sederhana. Saya belum menemukan sumber yang bagus untuk merepresentasikan …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

The Cerny dugaan adalah pernyataan bahwa setiap sinkronisasi otomat dengan negara memiliki kata sinkronisasi panjang paling . Batas atas saat ini terbaik untuk panjang kata sinkronisasi adalah . Katakanlah dua negara digabung oleh sebuah kata jika kata itu membawa kedua negara ke kondisi yang sama. Argumen tipe lemma pemompaan menunjukkan …

8 fl.formal-languages  automata-theory  open-problem  dfa  synchronization 

Mengingat NFA NNN dan yang setara DFA DDD yang dihasilkan dari keseluruhan determinization dari NNN (menggunakan konstruksi Powerset, misalnya), sifat-sifat berikut tahan selama NNN , DDD dan untuk setiap kata www : NNN membacawww dalam menjalankan waktu paling banyakO(|w|.|N|2)O(|w|.|N|2)O(|w|.|N|^2) . DDD membacawww dalam menjalankan waktu paling banyakO(|w|)O(|w|)O(|w|) dan ukurannya mungkinO(2|N|)O(2|N|)O(2^{|N|}) …

8 automata-theory  regular-language  nondeterminism  dfa  nfa 

Terkait dengan pertanyaan terbaru ( Batas pada ukuran NFA terkecil untuk L_k-berbeda ) Noam Nisan meminta metode untuk memberikan batas bawah yang lebih baik untuk ukuran NFA daripada apa yang kita dapatkan dari batas kompleksitas komunikasi. Berikut ini adalah versi khusus dari masalah itu. Misalkan adalah bahasa lebih dari beberapa …

8 fl.formal-languages  automata-theory  lower-bounds  communication-complexity  nfa 

Saya mencoba untuk memperjelas pemahaman saya dalam contoh yang disajikan dalam Bagian 2.2 dari Quantum Finite Automata 1-arah: Kekuatan Kelemahan dan Generalisasi ( tautan alternatif ini juga mungkin berguna). Contoh ini memberikan contoh 1-QFA yang sangat terbuka dengan aturan transisi berikut: Va|q0⟩=12|q0⟩+12|q1⟩+12√|qrej⟩Va|q0⟩=12|q0⟩+12|q1⟩+12|qrej⟩V_a|q_0\rangle = \frac{1}{2}|q_0\rangle + \frac{1}{2}|q_1\rangle + \frac{1}{\sqrt 2}|q_{rej}\rangle , …

8 fl.formal-languages  quantum-computing  automata-theory  grammars 

Saya sedang menulis modelchecker mainan , dan saya pada titik di mana saatnya untuk mengimplementasikan terjemahan LTL ke Buchi automata. Untuk berbagai alasan yang jelas, saya ingin algoritme menjadi sederhana :) misalnya saya ingin kode tetap sangat jelas dan singkat selama mungkin. Saya telah melihat pendekatan "automata lokal + kemungkinan …

8 lo.logic  automata-theory  model-checking  program-verification  linear-temporal-logic