Pertanyaan yang diberi tag «dfa»

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: Diberikan: transduser dan bahasa reguler Putuskan: Apakah ia berpendapat bahwa , word, …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

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 

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 

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 

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