Pertanyaan yang diberi tag «formal-languages»

Saya mencoba (secara intuitif) memahami dua istilah "decidability" dan "verifiability". Saya telah melakukan banyak pencarian dan pencarian berbagai teks yang dapat saya lakukan. Namun, pemahaman intuitif mereka nampaknya lepas dari saya, khususnya untuk yang kedua. Dari banyak definisi yang ditemukan, yang berikut ditemukan di halaman ini , dengan jelas menjelaskan …

8 complexity-theory  formal-languages  terminology  computability 

Apakah bahasa bebas konteks?L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} Saya kira itu bukan konteks bebas karena tampaknya terlalu rumit untuk PDA untuk memutuskan apakah 2 angka adalah co-prime atau tidak. Saya mencoba menggunakan lemma …

8 formal-languages  context-free  pumping-lemma  pushdown-automata 

Biarkan menjadi bahasa biasa. Apakah bahasa teratur?LLLL2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} Saya tahu ini sangat mirip dengan pertanyaan di sini , tetapi yang menarik adalah bahwa itu bukan substring sederhana dari sebuah kata dalam bahasa biasa, …

8 formal-languages  regular-languages  closure-properties 

Biarkan A={L∣Lis one-counter and L¯ is also one-counter}A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Jelas,Deterministic one-counter⊆ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A Apakah ini ?A=Deterministic one-counterA=Deterministic one-counter A = \text{Deterministic one-counter} Saya tahu bahwa untuk bahasa bebas konteks, analognya tidak demikian. …

8 formal-languages  automata  closure-properties  pushdown-automata 

Saya punya dua pertanyaan: Saya menganggap bahasa berikut Dengan kata lain, bukan palindrome dengan panjang genap. Saya membuktikan bahwa bahasa ini BUKAN reguler dengan membuktikan bahwa komplemennya tidak teratur. Pertanyaan saya adalah bagaimana membuktikannya menggunakan lemma pemompaan tanpa menggunakan komplemen.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* \mid \not \exists u\in \{0,1\}^* \colon w= …

8 formal-languages  regular-languages  pumping-lemma 

Saya mencoba untuk belajar teori komputabilitas dengan buku teks. Menurut buku saya, fungsifff lebih dari satu alfabet A={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}A={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}A=\{a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z\} hanya dapat dihitung jika bahasa L={s#jσ:s∈A∗,σ∈A, the …

8 formal-languages  computability  undecidability 

Jadi saya sudah menggaruk-garuk kepala karena masalah ini selama beberapa hari sekarang. Diberi beberapa bahasaAAAdan yang teratur, menunjukkan bahwa bahasa yang terdiri dari semua string dalam yang panjangnya sama dengan beberapa string dalam adalah bahasa biasa.BBBLLLAAABBB Dalam bentuk persamaan: L={x∈A∣∃y∈B s.t. |x|=|y|}L={x∈A∣∃y∈B s.t. |x|=|y|}L = \{x \in A \mid \exists …

8 formal-languages  regular-languages  finite-automata  proof-techniques  closure-properties 

Bagaimana saya menunjukkan bahwa masalah dalam memutuskan apakah PDA menerima beberapa string dari formulir {w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} tidak dapat diputuskan? Saya telah mencoba untuk mengurangi masalah ini ke masalah lain yang tidak dapat diputuskan seperti apakah dua tata bahasa bebas konteks menerima bahasa yang …

8 formal-languages  automata  context-free  undecidability  pushdown-automata 

Saya akan mengimplementasikan bahasa khusus domain untuk representasi konvensi pembelajaran sosial. Bagian dari implementasi adalah deskripsi formal bahasa - 'kalkulus', simbol dan ekspresi logisnya. Pendekatan saya adalah mendeskripsikan bahasa dengan menjelaskan tata bahasanya tetapi ada juga konsep-konsep seperti hubungan, dialog, harapan yang membutuhkan lebih banyak pendekatan teoretis dan deskripsi logikanya. …

8 formal-languages  programming-languages  semantics 

Apakah bahasanya L={a,b}∗∖{(anbn)n∣n≥1}L={a,b}∗∖{(anbn)n∣n≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} bebas konteks? Saya percaya bahwa jawabannya adalah itu bukan CFL, tapi saya tidak bisa membuktikannya dengan lemma Ogden atau Pumping lemma.

8 formal-languages  context-free  pumping-lemma 

Saya mendapat ujian beberapa hari dan memiliki masalah untuk menyelesaikan tugas ini. Membiarkan LLL menjadi bahasa biasa di atas alfabet ΣΣ\Sigma. Kami memiliki operasi cycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle⁡(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in \Sigma^* \text{ and } yx\in L\} Dan sekarang kita harus menunjukkan itu cycle(L)cycle⁡(L)\operatorname{cycle}(L) juga biasa. Referensi …

8 formal-languages  regular-languages  finite-automata  closure-properties 

Saya ingin menghitung jumlah string sss lebih dari alfabet yang terbatas SEBUAHAA, yang tidak mengandung pengulangan, dan maksud saya untuk setiap substring ttt dari sss, 1 &lt; | t | &lt; | s |1&lt;|t|&lt;|s|1< |t| < |s|, tidak ada salinan terpisah dari ttt di sss. Sebagai contoh, biarkanA = { …

8 formal-languages  combinatorics  strings  word-combinatorics 

Ini adalah pertanyaan lanjutan dari pertanyaan ini . Dalam pertanyaan sebelumnya tentang mesin negara eksotis , Alex ten Brink dan Raphael membahas kemampuan komputasi jenis mesin negara yang aneh: min-heap automata. Mereka mampu menunjukkan bahwa himpunan bahasa yang diterima oleh mesin tersebut ( ) bukan merupakan himpunan bagian atau superset …

8 formal-languages  automata  closure-properties 

Saya mencoba untuk menyerang TAOCP sekali lagi, mengingat beratnya volume sebenarnya saya mengalami kesulitan untuk melakukannya dengan serius. Dalam TAOCP 1 Knuth menulis, halaman 8, konsep-konsep dasar :: Membiarkan AAAmenjadi set huruf yang terbatas. MembiarkanA∗A∗A^* menjadi himpunan semua string di AAA (himpunan semua urutan terurut x1x1x_1 x2x2x_2... mana dan berada …

7 formal-languages  turing-machines  computation-models