Pertanyaan yang diberi tag «pumping-lemma»

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 

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 mencoba menggunakan pemompaan lemma untuk membuktikan bahwa tidak teratur.L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Inilah yang saya miliki sejauh ini: Asumsikan teratur dan biarkan p menjadi panjang pemompaan, jadi w = ( 01 ) p 2 p . Pertimbangkan setiap dekomposisi pemompaan w = x y z sedemikian …

19 formal-languages  regular-languages  pumping-lemma 

Jadi pada dasarnya L memenuhi kondisi lemma pemompaan untuk CFL tetapi bukan CFL (itu mungkin menurut definisi lemma).

15 formal-languages  context-free  pumping-lemma 

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 

Saya memiliki bahasa berikut { 0saya1j2k∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Saya mencoba menentukan kelas bahasa Chomsky mana yang cocok untuknya. Saya bisa melihat bagaimana itu bisa dibuat menggunakan tata bahasa konteks-sensitif jadi saya tahu itu …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Lemma pemompaan untuk bahasa biasa dapat digunakan untuk membuktikan bahwa bahasa tertentu tidak teratur, dan lemma pemompaan untuk bahasa bebas konteks (bersama dengan lemma Ogden) dapat digunakan untuk membuktikan bahwa bahasa tertentu tidak bebas konteks. Apakah ada lemma yang memompa untuk bahasa bebas konteks- deterministik ? Yaitu, adakah lemma yang …

11 context-free  proof-techniques  pumping-lemma 

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 suatu bahasa tidak teratur, tetapi dalam …

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

Mengapa (jika demikian) pemisah membuat perbedaan antara kedua bahasa?##\# Katakanlah: L = { w s : | w | = | s |w , s ∈ { 0 , 1 }∗, w ≠ s }L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L.#= { w # s : | …

9 formal-languages  context-free  pumping-lemma 

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 

Ketika saya melihat bukti untuk memompa lemma , saya merasa bahwa saya sering kehilangan intuisi di balik kondisi | xy | ≤ p. Apa sebenarnya alasan di balik kondisi ini? Semua literatur yang saya lihat adalah diam (tidak ada bukti, tidak ada diskusi, hanya pernyataan) tentang hal ini, atau menyatakan …

8 formal-languages  regular-languages  pumping-lemma 

Properti "memompa" (kata-kata dengan panjang tertentu menyiratkan keberadaan loop dalam mekanisme pendefinisian bahasa) diketahui ada untuk bahasa reguler dan bebas konteks dan beberapa lainnya (biasanya digunakan untuk menyangkal keanggotaan bahasa ke kelas tertentu) ). Dalam diskusi seputar pertanyaan ini , jawaban Daisy menunjukkan bahwa tidak ada lemma yang memompa untuk …

8 formal-languages  pumping-lemma  context-sensitive 

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 

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 

Menunjukkan bahwa L={an2|n≥0}L={an2|n≥0}L=\{a^{n^2} | n \geq 0\} tidak teratur Hai teman-teman. Saya mengambil kelas CS dan hal ini benar-benar baru bagi saya jadi bersabarlah. Saya mencoba melihat apakah saya mendapatkan beberapa kontradiksi dengan menggunakan lemma pemompaan untuk bahasa reguler dan saya mengatasinya seperti ini: Seharusnya LLLteratur. Maka harus ada bilangan …

8 regular-languages  pumping-lemma