Pertanyaan yang diberi tag «formal-languages»

Apakah konteks bahasa berikut ini gratis? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Seperti yang ditunjukkan oleh sdcvvc, sebuah kata dalam bahasa ini juga dapat digambarkan sebagai gabungan dari dua kata dengan panjang yang sama …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

Saya telah mencari-cari jawaban untuk pertanyaan ini dan kelihatannya semua orang secara implisit tahu jawabannya kecuali saya. Agaknya ini karena satu-satunya orang yang peduli adalah mereka yang pernah memiliki pendidikan tinggi tentang hal itu. Saya, di sisi lain, telah dilemparkan ke dalam untuk tugas sekolah menengah. Pertanyaan saya adalah, bagaimana …

25 formal-languages  programming-languages  regular-expressions 

Berikut dugaan untuk ekspresi reguler: Untuk ekspresi reguler , biarkan panjang | R | menjadi jumlah simbol di dalamnya, mengabaikan tanda kurung dan operator. Misalnya | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2RRR|R||R||R||0∪1|=|(0∪1)∗|=2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 \cup 1)^*| = 2 Dugaan: …

25 formal-languages  regular-languages  regular-expressions 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . Saya telah menemukan banyak definisi bahasa recursive dan recumerif enumerable. Tapi saya tidak bisa mengerti apa itu. Bisakah seseorang tolong beri tahu saya apa kata-kata sederhana itu?

24 formal-languages  computability  turing-machines 

Kita tahu bahwa DFA setara dengan NFA dalam kekuatan ekspresif; ada juga algoritma yang dikenal untuk mengubah NFA menjadi DFA (sayangnya saya sekarang tahu penemu algoritma itu), yang dalam kasus terburuk memberi kita status , jika NFA kami memiliki status S2S2S2^SSSS Pertanyaan saya adalah: apa yang menentukan skenario terburuk? Berikut …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Logika konstruktivis adalah sistem yang menghilangkan Hukum Tengah yang Dikecualikan, serta Negasi Ganda, sebagai aksioma. Ini dijelaskan di Wikipedia di sini dan di sini . Secara khusus, sistem tidak memungkinkan pembuktian dengan kontradiksi. Saya bertanya-tanya, apakah ada yang akrab dengan bagaimana ini mempengaruhi hasil mengenai Mesin Turing dan bahasa formal? …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

EPAL, bahasa bahkan palindrom, didefinisikan sebagai bahasa yang dihasilkan oleh tata bahasa bebas konteks berikut: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL adalah 'kutukan' dari banyak algoritma penguraian: Saya belum menemukan algoritma penguraian untuk CFG yang pasti yang …

23 formal-languages  formal-grammars  parsers 

Seperti judulnya, saya menghabiskan beberapa jam akhir pekan lalu mencoba untuk menyelesaikan pikiran saya tentang kelas bahasa yang cocok dengan ekspresi reguler yang kompatibel dengan Perl, tidak termasuk operator yang cocok yang memungkinkan untuk mengeksekusi kode arbitrer di dalam pola . Jika Anda tidak tahu apa itu PCRE, baca ini …

23 formal-languages  regular-expressions 

Menentukan bahasa formal dengan memberikan tata bahasa formal adalah tugas yang sering: kita membutuhkan tata bahasa tidak hanya untuk menggambarkan bahasa, tetapi juga untuk menguraikannya, atau bahkan melakukan sains yang tepat . Dalam semua kasus, penting bahwa tata bahasa yang ada sudah benar , yaitu menghasilkan kata-kata yang diinginkan secara …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Apakah ada bahasa "alami" yang tidak dapat diputuskan? oleh "alami" Maksudku bahasa yang didefinisikan secara langsung oleh properti string, dan bukan melalui mesin dan setara mereka. Dengan kata lain, jika bahasanya mirip mana adalah TM, DFA (atau regular-exp), PDA (atau tata bahasa), dll., Maka itu tidak alami. Namun adalah wajar.L …

22 formal-languages  automata  computability  undecidability 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya mencari teori matematika yang berhubungan dengan menggambarkan bahasa formal (serangkaian string) secara umum dan bukan hanya hierarki tata bahasa.

22 formal-languages  formal-grammars 

Ketika mempertimbangkan model mesin dari perhitungan, hierarki Chomsky biasanya ditandai oleh (dalam urutan), automata terbatas, automata push-down, automata terikat linier dan Mesin Turing. Untuk level pertama dan terakhir 1 (bahasa reguler dan bahasa yang berulang secara berulang), tidak ada bedanya dengan kekuatan model apakah kami mempertimbangkan mesin deterministic atau nondeterministic, …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

Bahasa bebas konteks tidak ditutup di bawah pelengkap, kami tahu itu. Sejauh yang saya mengerti, bahasa bebas konteks yang merupakan bagian dari a∗b∗a∗b∗a^*b^* untuk beberapa huruf a,ba,ba,b ditutup di bawah pelengkap (!?) Inilah argumen saya. Setiap bahasa CF LLL memiliki gambar Parikh semi-linear π(L)={(m,n)∣ambn∈L}π(L)={(m,n)∣ambn∈L}\pi(L) = \{ (m,n) \mid a^mb^n \in …

20 formal-languages  reference-request  context-free  closure-properties 

Wikipedia memiliki definisi berikut tentang lemma pemompaan untuk bahasa biasa ... Biarkan menjadi bahasa biasa. Kemudian ada bilangan bulat ≥ 1 hanya bergantung pada sehingga setiap string dalam panjang setidaknya ( disebut "panjang pemompaan") dapat ditulis sebagai = (yaitu, dapat dibagi menjadi tiga substring), memenuhi ketentuan berikut:p L w L …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

Saya ingin mengurai bahasa khusus domain yang ditentukan pengguna. Bahasa-bahasa ini biasanya dekat dengan notasi matematika (saya tidak menguraikan bahasa alami). Pengguna menentukan DSL mereka dalam notasi BNF, seperti ini: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr Input suka 1 + ( …

20 formal-languages  parsers  compilers