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...
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 ( φ ( L ) ) )M.(...
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
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...
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...
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...
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...
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
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....