Pertanyaan yang diberi tag «fl.formal-languages»

bahasa formal, tata bahasa, teori automata

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 …
2
Frase permutasi dengan parsing LR
Ungkapan permutasi adalah ekstensi ke definisi tata bahasa bebas konteks standar (E) BNF: frase permutasi berisi produksi (atau setara, nonterminals) hingga . Pada posisi kalimat permutasi, kami ingin melihat setiap produksi ini tepat satu kali, tetapi kami tidak tertarik dengan pemesanan nonterminal ini.{ A1, ... , An}{SEBUAH1,...,SEBUAHn}\{ A_1, \dots, A_n …
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 …
1
Bahasa Kelengkapan dan Konteks-Sensitif.
Saya tertarik pada dua pertanyaan tentang bahasa konteks-sensitif (CSL) dan kelengkapan: Apakah ada gagasan tentang kelengkapan untuk CSL, dan bahasa apa yang lengkap? Apakah ada CSL alami yang lengkap dengan NP? Untuk 2., saya pasti bisa memikirkan bahasa NP-lengkap alami yang CSL (karena CSL sama dengan NSPACE [ ], SAT …
3
Bahasa yang tidak bisa direduksi
Ini belum tentu merupakan pertanyaan penelitian. Hanya sebuah pertanyaan karena penasaran: Saya mencoba memahami jika seseorang dapat mendefinisikan bahasa yang "tidak dapat direduksi". Sebagai tebakan pertama saya menyebut bahasa L "dapat direduksi" jika dapat ditulis sebagai dengan dan | A |, | B |> 1 , jika tidak, panggil bahasa …
2
meminimalkan ukuran ekspresi reguler untuk set yang terbatas
Diketahui bahwa meminimalkan ukuran ekspresi reguler adalah PSPACE-complete bahkan jika kita memiliki DFA sebagai spesifikasi bahasa . Apa hasil jika bahasanya terbatas? Satu dapat mempertimbangkan masalah ini dalam dua model: Input adalah semua string dalam bahasa, dan kami mengukur ukuran input dengan jumlah panjang semua string. Input adalah DFA, dan …
2
Büchi automata dengan strategi penerimaan
Masalah Mari menjadi robot Büchi, mengakui bahasa L ⊆ Σ ohm . Kami berasumsi bahwa A memiliki strategi penerimaan dalam arti berikut: ada fungsi σ : Σ * → Q yang dapat digunakan untuk percontohan berjalan dari A . Kami meresmikan ini dengan ketentuan sebagai berikut:A=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangleL⊆ΣωL⊆ΣωL\subseteq\Sigma^\omegaAAAσ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to QAAA …
3
Kemajuan pada masalah ketinggian bintang umum?
Ketinggian bintang (yang digeneralisasikan) dari suatu bahasa adalah bersarang minimum dari bintang-bintang Kleene yang diperlukan untuk mewakili bahasa dengan suatu ekspresi reguler yang diperluas. Ingatlah bahwa ekspresi reguler yang diperluas menggunakan alfabet terbatas memenuhi yang berikut:AAA (1) dan sebuah diperpanjang ekspresi reguler untuk semua a ∈ A∅,1∅,1\emptyset, 1aaaa∈Aa∈Aa\in A (2) …
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.