Saya bekerja melalui latihan keras di buku teks, dan saya tidak tahu bagaimana untuk melanjutkan. Inilah masalahnya. Misalkan kita memiliki bahasa mana adalah bilangan irasional. Bagaimana saya membuktikan bahwa bukan bahasa bebas konteks?L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 }...
Saya tahu bahwa bahasa yang dapat didefinisikan menggunakan ekspresi reguler dan yang dikenali oleh DFA / NFA (finite automata) adalah setara. Juga tidak ada DFA untuk bahasa {0n1n|n≥0}{0n1n|n≥0}\{0^n1^n|n \ge 0\} . Tetapi masih dapat ditulis menggunakan ekspresi reguler (dalam hal ini bahasa...
Jelaskan bahasa reguler yang tidak dapat diterima oleh DFA yang hanya memiliki tiga negara. Saya tidak begitu yakin harus mulai dari mana dan bertanya-tanya apakah ada yang bisa memberi saya beberapa tips atau saran. Saya mengerti bahwa lemma pemompaan dapat digunakan untuk membuktikan bahwa...
Saya baru saja mulai masuk ke teori komputasi, yang mempelajari apa yang dapat dihitung, seberapa cepat, menggunakan berapa banyak memori dan dengan model komputasi mana. Saya punya pertanyaan yang cukup mendasar, tetapi saya benar-benar berharap beberapa dari Anda dapat membantu saya memahami...
Pertanyaannya cukup banyak pada judulnya. Apakah pernah ada waktu di mana beberapa bahasa dapat diterima oleh DFA minimal dengan n negara, tetapi L R , pembalikan L , dapat diterima oleh DFA dengan m negara, di mana m < n ?L.L.LnnnL.RL.RL^RL.L.Lmmmm <
Saya sedang bekerja dengan algoritma pencocokan pola yang menghasilkan otomat keadaan terbatas asiklik yang menerima string teks yang diberikan dan semua substringnya. Algoritma FSA sedang dijalankan pada representasi simbolis dari aliran musik (misalnya, data MIDI). Aliran musik telah diproses...
Salah satu cara melihat ekspresi reguler adalah sebagai bukti konstruktif dari fakta berikut: adalah mungkin untuk membangun bahasa reguler dengan memulai dengan sekelompok kecil bahasa dan menggabungkannya melalui set kecil, properti penutupan tertutup. Khususnya, jika kita mulai dengan bahasa...
Baru-baru ini saya bertanya-tanya apa yang akan terjadi jika kita membiarkan tata bahasa bebas konteks memiliki jumlah aturan yang tak terbatas. Jelas, jika kita mengizinkan seperangkat aturan tak terbatas seperti itu, setiap bahasa pada beberapa alfabet dapat dijelaskan oleh CFG dengan . Tetapi...
Saya sudah mulai belajar automata non deterministik menggunakan buku Hopcroft dan Ullman . Saya terjebak dalam masalah yang menurut saya sangat menarik: Berikan otomat terbatas hingga non deterministik yang menerima semua string yang memiliki nilai yang sama ketika dievaluasi dari kiri ke kanan...
Saya terjebak menyelesaikan latihan berikutnya: Berargumen bahwa jika bebas konteks dan teratur, maka (yaitu hasil bagi yang tepat ) bebas konteks.R L / R = { w ∣ ∃ x ∈ RL.LLRRRL / R = { w ∣ ∃ x ∈ Rstw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Saya...
Diberi bahasa , bagaimana saya bisa mengatakan secara langsung, tanpa melihat aturan produksi, bahwa bahasa ini tidak teratur?L = { anbncn}L={anbncn} L= \{a^n b^n c^n\} Saya bisa menggunakan memompa lemma tetapi beberapa orang mengatakan hanya melihat tata bahasa bahwa ini bukan yang biasa....
Dalam artikel Parsing Expressions by Recursive Descent oleh Theodore Norvell (1999) penulis mulai dengan tata bahasa berikut untuk ekspresi aritmatika: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v yang sangat buruk, karena ambigu dan kiri-rekursif. Jadi dia...
Saya mengambil ujian teori perhitungan saya beberapa minggu yang lalu, dan ini adalah salah satu pertanyaan: Asumsikan bahasa L = { ( anbm)r∣ n , m , r ≥ 0 }L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} Apakah L teratur? Jika ya, berikan ekspresi reguler atau otomat untuk...
Baru-baru ini, saya mengajukan pertanyaan tentang Matematika SE. Belum ada tanggapan. Pertanyaan ini terkait dengan pertanyaan itu, tetapi rincian teknis lebih ke arah ilmu komputer. Diberikan dua DFA dan mana set status, alfabet input, dan fungsi transisi dari dan adalah sama, keadaan awal dan...
Saya telah membaca beberapa makalah teori bahasa formal, dan saya menemukan istilah yang tidak saya mengerti. Makalah ini akan sering merujuk pada satu set yang "ditutup secara efektif di bawah persimpangan" atau operasi lainnya. Apa arti "efektif" di sini? Apa bedanya dengan penutupan...
Saya mencari tata bahasa yang peka konteks yang menggambarkan bahasa berikut: L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} . Saya punya masalah dengan fakta bahwa tidak ada aturan seperti X→εX→εX \to \varepsilon yang diizinkan dan oleh karena itu saya...
Diberi bahasa reguler tak terbatas L.LL, bagaimana saya bisa membuktikannya L.LL dapat dipartisi menjadi 2 bahasa reguler tak terhingga terpisah L.1,L.2L1,L2L_1, L_2? Itu adalah:L.1∪L.2= LL.1∪L.2=L.L_1 \cup L_2 = L, L.1∩L.2= ∅L.1∩L.2=∅L_1 \cap L_2 = \varnothing, dan L.1L.1L_1 dan L.2L.2L_2 keduanya...
Biasanya saya melihat bahwa dalam representasi semantik operasional struktural untuk loop sementara, status program tidak berubah: ( W h i l eBdHaiS, σ) → ( i fBt h e nS; ( W h i l eBdHaiS)e l s eSKsayaP, σ)(whsayaleBdHaiS,σ)→(sayafBthenS;(whsayaleBdHaiS)elseSKsayaP,σ)(while \> B \> do \>S,...
Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa...
Sebuah bahasa formal LLL lebih alfabet ΣΣ\Sigma adalah himpunan bagian dari Σ∗Σ∗\Sigma^* , yaitu, satu set kata-kata di atas alfabet itu. Dua bahasa resmi LLL dan L′L′L' adalah sama, jika sesuai set extensionally sama sebagai subset dari L∪L′L∪L′L\cup L' . Seseorang dapat menggunakan bahasa dalam...