•Bukti
•Jika Ladalah bahasa reguler, maka terdapat FAyang secara pasti menerima
String-stringdi L. Seperti halnya FA –FA yang lainnya, mesin tersebut
hanya mempunyai state-stateyang terbatas, tetapi Lmempunyai string-
stringyang tak hingga. Hal ini berarti terdapat panjang string-stringyang
berbeda dalam L. Misalkan terdapat xyang merupakan beberapa untai
pada Lyang mempunyai panjang stringlebih dari jumlah stateyang ada
pada mesin. Ketika untai-untai tersebut menghasilkan suatu pathdalam
mesin, pathtersebut tidak bisa beranjak ke stateyang baru untuk setiap
abjad dalam stringkarena terdapat jumlah abjad (mengindikasikan panjang string) yang lebih banyak daripada jumlah statepada mesin.
•Maka pastilah terjadi balikan ke stateyang sama/terjadi siklus. Misal
xdipisahkan menjadi tiga bagian:
•Bagian1:Seluruhabjad-abjadpadaxsebelumsiklus
terjadi,ubisamerupakannullstring.
•Bagian2:vadalahbagiandalamsiklusitu.Karenapasti
terdapatsirkuit,vtidakdiperbolehkannullstring
•Bagian 3 : wadalah bagian setelah siklus . wbisa
dimungkinkan terbangun dari nullstring
Sehinggax=uvw
Untukx = uvnw, juga merupakan untai yang diterima padaL
ContohPumping Lemma RL
Diketahui
•L= {0n1 | n > 0}
BuktikanbahwaL merupakanRL!
Penyelesaian:
a.Ambil salah satustring dalamL, misal001 (acak, misaln=1)
b.Bentuklahsuatuformat uvwdaristring poina, yakniu=0,
v=0, dan w=1
c.UjikanketigasyaratPumping Lemma RL
•u=0, v=0, w=1, dan n=3
1.v≠empty 0≠empty → terpenuhi
2.|uv| ≤n |00|≤3 → terpenuhi
3.Untuksemuak> 0, string uvkwjuga merupakanstring dari
language L 0 0001→ terpenuhi
•Jika k bernilai0 makaterbentukstring 01 # L1
•Jika k bernilai1 makaterbentukstring 001 # L1
•Jika k bernilai2 makaterbentukstring 0001 # L1
L= {0n1 | n > 0} adalahRL