Menggunakan Pumping Lemma untuk membuktikan bahasa

19

Saya mencoba menggunakan pemompaan lemma untuk membuktikan bahwa tidak teratur. $L = \{(01)^m 2^m \mid m \ge0\}$

Inilah yang saya miliki sejauh ini: Asumsikan teratur dan biarkan menjadi panjang pemompaan, jadi . Pertimbangkan setiap dekomposisi pemompaan sedemikian sehingga dan . $L$ $p$ $w = (01)^p 2^p$ $w = xyz$ $|y| >0$ $|xy| \le p$

Saya tidak yakin apa yang harus saya lakukan selanjutnya.

Apakah saya di jalur yang benar? Atau apakah saya jauh?

formal-languages regular-languages pumping-lemma

— Momagis
sumber

1

Anda berada di jalur yang benar. jika Anda "memompa" Anda mengubah angka 0 dan 1, tetapi bukan angka 2 (mengapa?). Ini akan menimbulkan kontradiksi.

— Ran G.

oh, perhatikan bahwa itu tidak mungkin

dan

. Saya kira ini salah ketik dan maksud Anda

.

| y | > p

$|y|>p$

| x y | < p

$|xy|<p$

| y | > 0

$|y|>0$

— Ran G.

1

Perhatikan bahwa Memompa lemma bukanlah cara tercepat di sini, karena

sangat dekat dengan contoh kanonik untuk bahasa non-reguler. Cobalah untuk menggunakan properti penutupan

!

L

$L$

R E G

$\mathrm{REG}$

— Raphael

1

Atau periksa bukti lemma pemompaan untuk menyadari bahwa Anda dapat memiliki tali yang dipompa di dekat ujung juga, dan memompa 2s, yang lebih mudah.

— vonbrand

@vonbrand atau mengambil kebalikan dari bahasa dan menerapkan lemma pemompaan lurus untuk yang itu.

— Al.G.

5

Petunjuk: Anda perlu mempertimbangkan seperti apa semua dekomposisi , jadi apa saja semua hal yang mungkin , dan dapat diberikan bahwa $w=xyz$ $x$ $y$ $z$ $xyz=(01)^p2^p$ . Kemudian Anda memompa masing-masing dan melihat apakah Anda mendapatkan kontradiksi, yang akan menjadi kata tidak dalam bahasa Anda. Setiap kasus perlu mengarah pada kontradiksi, yang kemudian akan menjadi kontradiksi dari lemma pemompaan. Voila! Bahasa tidak akan teratur.

Tentu saja, Anda perlu mengerjakan rinciannya dan mempertimbangkan semua peralatan yang memungkinkan.

— Dave Clarke
sumber

5

Anda memiliki dekomposisi dan batasan panjang . Apa yang dikatakan di sini tentang bagaimana , dan dapat masuk dalam dekomposisi? Secara khusus, lemma pemompaan memungkinkan Anda mengulangi , jadi tujuan Anda adalah menemukan beberapa cara untuk mengulangi berkali-kali (atau menghapus $xyz = (01)^p 2^p$ $|xy| \le p$ $x$ $y$ $z$ $y$ $y$ $y$ , kadang-kadang ini lebih sederhana) akan mengganggu pola yang mendefinisikan bahasa secara tidak dapat diperbaiki.

Ada batas yang jelas dalam polanya: bagian pertama berisi pengulangan $01$ , bagian kedua hanya berisi 's. Hal yang menarik adalah di mana jatuh. Apakah selalu terkandung dalam salah satu bagian tersebut, atau bisa mengangkang dua? $2$ $y$ $y$

Sejak , seluruhnya terdapat pada bagian , dan berisi semua 's. Jadi jika Anda mengulangi sekali lagi, Anda mendapatkan bagian pertama yang lebih panjang, tetapi bagian tetap sama. Dengan kata lain, diakhiri dengan huruf . Untuk menyelesaikan bukti dengan benar, menunjukkan bahwa mengandung terlalu banyak huruf dan $|xy| \le p$ $xy$ $(01)^p$ $z$ $2$ $y$ $2^p$ $xyyz$ $p$ $2$ $xyyz$ $0$ $1$ agar sesuai dengan ekspresi reguler.

— Gilles 'SANGAT berhenti menjadi jahat'
sumber

4

Tiga tahun kemudian kita akan membuktikan bahwa dengan $L = \{(01)^m 2^m \mid m \ge0\}$ tidak teratur dengan kontradiksi menggunakan sifat penutupan (cara yang lebih cepat daripada menggunakan lemma pemompaan) ). $\Delta=\{0,1,2\}$

Pertama kita mengira itu itu teratur. Kita tahu bahwa bahasa reguler ditutup di bawah homomorfisme terbalik. $L$

Pertimbangkan homomorfisme $h:\Sigma^* \rightarrow \Delta^*$ dengan:

$\Sigma = \{a,b\}$

$h(a)= 01$

$h(b)= 2$

Homomorfisme terbalik dari adalah: $L$

$h^{-1}(L)= \{a^nb^n| n\geq 0 \} = L'$

Ini menghasilkan kontradiksi karena adalah contoh kanonik dari bahasa yang tidak teratur sehingga tidak dapat teratur. $L'$ $L$

— Renato Sanhueza
sumber

3

Saya akan memberikan jawaban untuk pertanyaan ini, karena ini bukan lemma pemompaan, tapi mungkin menjelaskan apa ide dari lemma pemompaan. Berikut adalah fakta dasar tentang deterministik automata negara yang terbatas, yang merupakan esensi dari teorema Myhill-Nerode: Jika dua string dan mendorong FSA untuk negara yang sama, maka untuk setiap , baik kedua dan adalah diterima, atau tidak. $a$ $b$ $c$ $ac$ $bc$

Kembali ke masalah Anda, misalkan otomat deterministik untuk bahasa Anda memiliki status . Maka setidaknya dua , , , , katakanlah dan dengan , mendorong robot untuk negara yang sama (ini adalah prinsip lubang-merpati). Menurut fakta, maka keduanya dan $n$ $(01)^1$ $(01)^2$ $\ldots$ $(01)^{n+1}$ $(01)^p$ $(01)^q$ $p\neq q$ $(01)^p2^p$ $(01)^q2^p$ $L$

— Louis
sumber