Pertanyaan yang diberi tag «regular-languages»

Diberikan bahasa dan , katakanlah bahwa gabungan tidak ambigu jika untuk semua kata , ada tepat satu dekomposisi dengan dan , dan ambigu sebaliknya. (Saya tidak tahu apakah ada istilah yang mapan untuk properti ini — hal yang sulit untuk dicari!) Sebagai contoh sepele, gabungan dari dengan dirinya sendiri adalah …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Jika saya memiliki Tata Bahasa Tipe 3, itu dapat direpresentasikan pada otomat pushdown (tanpa melakukan operasi apa pun pada stack) sehingga saya dapat mewakili ekspresi reguler dengan menggunakan bahasa bebas konteks. Tapi bisakah saya tahu jika tata bahasa tipe 3 adalah , L L ( 1 ) , S L …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

Perhatikan bahwa ini adalah pertanyaan yang terkait dengan belajar di kursus CS di universitas, BUKAN pekerjaan rumah dan dapat ditemukan di sini di bawah ujian Musim Gugur 20112. Inilah dua pertanyaan yang saya lihat dari ujian sebelumnya. Mereka tampaknya terkait, yang pertama: Membiarkan F Aku N I TEC FG={<G> ∣ …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

Perpotongan bahasa bebas konteks L dengan bahasa reguler M, dikatakan selalu bebas konteks. Saya memahami bukti konstruksi produk silang, tetapi saya masih belum mengerti mengapa ini bebas konteks tapi tidak teratur. Bahasa yang dihasilkan oleh persimpangan semacam itu memiliki string yang diterima baik oleh PDA dan DFA. Karena itu diterima …

16 regular-languages  context-free  finite-automata  formal-grammars 

Saya tidak jelas tentang penggunaan frasa "tak terbatas" bahasa atau "terbatas" bahasa dalam teori komputer. Saya pikir akar masalahnya adalah bahwa bahasa seperti tidak terbatas dalam arti bahwa ia dapat menghasilkan jumlah string yang tak terbatas (tetapi dapat dihitung). Namun, itu masih dapat dikenali oleh otomat keadaan terbatas .L={ab}∗L={ab}∗L=\{ab\}^* Juga …

16 formal-languages  terminology  regular-languages 

Baru-baru ini sebuah pertanyaan menarik diajukan dan kemudian dihapus. Untuk bahasa biasa LLL, kompleksitas DFA -nya adalah ukuran DFA minimal yang menerimanya, dan kompleksitas NFA -nya adalah ukuran NFA minimal yang menerimanya. Sudah diketahui bahwa ada pemisahan eksponensial antara dua kompleksitas, setidaknya ketika ukuran alfabet tidak terikat. Memang, pertimbangkan bahasa …

15 regular-languages  finite-automata 

Apakah ada karakterisasi aljabar dari jumlah kata dengan panjang tertentu dalam bahasa biasa? Wikipedia menyatakan hasil yang agak tidak tepat: Untuk bahasa biasa ada konstanta λ 1 ,LLL dan polinomial p 1 ( x ) ,λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_k sedemikian rupa sehingga untuk setiap n angka s L ( n ) dari kata-kata …

15 formal-languages  regular-languages  word-combinatorics 

Diberi bahasa , tentukan panjang himpunan L sebagai himpunan panjang kata dalam L : L S ( L ) = { | kamu | ∣ u ∈ L }L.LLL.LLL.LLL S (L)={ | kamu | ∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Set bilangan bulat mana yang dapat menjadi set …

15 formal-languages  computability  regular-languages  finite-automata 

Diberi alfabet Σ={a,b}Σ={a,b}\Sigma = \{ a,b \} , berapa banyak bahasa reguler yang berbeda yang dapat diterima oleh otomat terbatas non-deterministik nnn -negara? Sebagai contoh, mari kita pertimbangkan n=3n=3n=3 . Kami kemudian memiliki 2182182^{18} konfigurasi transisi yang berbeda dan 23232^3 konfigurasi awal dan akhir yang berbeda, jadi kami memiliki batas …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Diketahui bahwa bahasa kata yang mengandung angka sama dengan 0 dan 1 tidak teratur, sedangkan bahasa kata yang mengandung angka sama dengan 001 dan 100 adalah teratur ( lihat di sini ). Diberi dua kata , apakah bisa diputuskan jika bahasa kata yang mengandung jumlah dan sama dengan teratur?w 1 …

14 regular-languages  undecidability 

Saya bertanya-tanya kapan bahasa yang berisi jumlah instance yang sama dari dua substring akan teratur. Saya tahu bahwa bahasa yang mengandung jumlah 1s dan 0s yang sama tidak teratur, tetapi merupakan bahasa seperti , di mana = jumlah dari substring "001" sama dengan jumlah instance dari substring " 100 " …

14 formal-languages  regular-languages  pumping-lemma 

Saat melakukan tugas saat ini untuk bahasa formal dan kursus automata saya, saya agak terjebak pada latihan yang melibatkan bahasa unary (saya harap itu istilah yang tepat), yaitu, bahasa yang dibangun di atas satu huruf. Saya tidak ingin bertanya tentang latihan spesifik, tetapi tentang dugaan yang jauh lebih umum yang …

13 formal-languages  regular-languages 

Biarkan bahasa L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* menjadi reguler. Faktorisasi LL\mathcal{L} adalah pasangan maksimal (X,Y)(X,Y)(X,Y) dari kumpulan kata dengan X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , dimana X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy | x∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\} . (X,Y)(X,Y)(X,Y) adalah maksimal jika untuk setiap pasangan(X′,Y′)≠(X,Y)(X′,Y′)≠(X,Y)(X',Y') \neq …

13 algorithms  regular-languages  optimization 

Saya sangat suka bantuan Anda dengan yang berikut: Untuk setiap tetap saya perlu untuk memutuskan apakah ada penutupan di bawah operator berikut:L2L2L_2 Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} . Opsi yang relevan adalah: Bahasa reguler ditutup …

13 formal-languages  regular-languages  closure-properties 

adalah bahasa reguler di atas alfabet Σ = { a , b } . Hasil bagi kiri L mengenai w ∈ Σ ∗ adalah bahasa w - 1 L : = { v ∣ w v ∈ L }LLLΣ = { a , b }Σ={Sebuah,b}\Sigma = \{a,b\}LLLw ∈ Σ∗w∈Σ∗w \in …

13 formal-languages  regular-languages  closure-properties