Pertanyaan yang diberi tag «formal-languages»

Saya mengalami masalah ini melibatkan memanipulasi bahasa bebas konteks. Biarkan menjadi bahasa bebas konteks. Tentukan untuk setiap . Apakah selalu bebas konteks? Dugaan saya adalah bahwa hal itu akan menjaga kelayakan konteks. Adakah yang bisa memberikan bukti dasar tentang ini?L.LLi = 0 , 1 , 2 , . . . …

9 formal-languages  context-free 

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 itu. Setelah saya bertanya secara …

9 formal-languages  regular-languages  regular-expressions 

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 …

9 formal-languages  context-free  formal-grammars  left-recursion 

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. Bagaimana itu mungkin?

9 formal-languages  regular-languages  pumping-lemma  intuition 

Saya ingin menggunakan bantuan Anda dengan masalah berikut: L = { ⟨ M⟩ ∣ L ( M) bebas konteks }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Tunjukkan bahwa .L ∉ R E∪ Co R EL∉RE∪CoREL \notin RE \cup CoRE Saya tahu bahwa untuk membuktikan , cukup untuk …

9 formal-languages  computability  context-free  turing-machines 

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 = \{ …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

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 sebagai kanan ke kiri dengan mengalikan menurut …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

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 tidak akan pernah berhasil karena jika bahasa seperti itu biasa, …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

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 tak terbatas dan teratur. Sejauh ini, saya memikirkan: menggunakan lemma …

9 formal-languages  regular-languages  finite-automata 

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 normal? Sebagai referensi, makalah yang saya lihat …

9 formal-languages  terminology  computability  automata  closure-properties 

Dalam kursus konsep bahasa pemrograman kami, instruktur kami mengklaim bahwa tidak apa-apa bagi keadaan akhir untuk mengarah ke keadaan lain dalam diagram keadaan terbatas. Tetapi ini tampaknya merupakan konsep yang secara fundamental kontradiktif. Karena definisi final adalah definisi yang mengakhiri transisi, yaitu, begitu Anda mencapainya, tidak ada lagi yang bisa …

8 formal-languages  graphs  regular-languages  finite-automata 

Pertimbangkan urutan . Tampaknya "biasa" dengan cara yang, misalnya tidak.s1=(1,0,1,0,…)s1=(1,0,1,0,…)s_1 = (1, 0, 1, 0,\dots)s2=(1,2,3,4,…)s2=(1,2,3,4,…)s_2 = (1, 2, 3, 4,\dots) Saya tidak yakin bagaimana memformalkan intuisi ini. Satu hal yang mengejutkan saya adalah bahwa adalah bahasa biasa, dan dalam batas tertentu adalah batasan dari string dalam bahasa ini.L={(01)n}L={(01)n}L =\{(0 1)^n\}s1s1s_1 …

8 formal-languages  regular-languages 

Saya mengalami masalah dalam menentukan apakah semua angka kuadrat (1, 4, 9, 16, ...) ditulis dalam bentuk biner (1, 100, 1001, ...) adalah bahasa biasa. Setelah beberapa upaya untuk menemukan pola umum dari angka-angka itu, saya menemukan bahwa untuk setiap angka kuadrat , sama dengan 0 atau 1, dan jadi …

8 formal-languages  regular-languages  automata  finite-automata 

Di kelas profesor kami menunjukkan kepada kami 3 metode untuk membuktikan ketidakteraturan: Teorema Myhill – Nerode Memompa Lemma untuk bahasa reguler Bukti ketidakteraturan, berdasarkan kompleksitas Kolmogorov Sekarang dua yang pertama, teorema Myhill-Nerode dan Pumping lemma, saya mengerti dengan baik dan saya juga bisa melakukan latihan dengan dua metode pertama. Tapi …

8 formal-languages  regular-languages  proof-techniques  kolmogorov-complexity 

Pertanyaan: Apakah ada teks pengantar dalam bahasa formal atau teori bahasa pemrograman yang membahas bagaimana menerapkannya pada studi notasi optimal? Secara khusus, saya tertarik untuk mempelajari apa bahasa stack, pohon parse, dan indeks, dan bagaimana memprediksi kapan suatu jenis notasi tertentu akan mengarah pada redundansi eksponensial. Saya pada dasarnya tidak …

8 formal-languages  reference-request  formal-grammars  programming-languages