Pertemuan 13
This presentation is the property of its rightful owner.
Sponsored Links
1 / 5

PUMPING LEMMA PowerPoint PPT Presentation


  • 104 Views
  • Uploaded on
  • Presentation posted in: General

Pertemuan-13. PUMPING LEMMA. Sebelumnya, Untuk mengetahui suatu bahasa adalah RL, buat NFA yang dapat mengenalinya. Untuk membuktikan suatu bahasa adalah bukan RL, gunakan pumping lemma. Untuk mengetahui suatu bahasa adalah CFL, buat PDA dan CFG yang dapat mengenalinya.

Download Presentation

PUMPING LEMMA

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Pertemuan 13

Pertemuan-13

PUMPING LEMMA


Pembuktian suatu bahasa adalah cfl

  • Sebelumnya,

    • Untuk mengetahui suatu bahasa adalah RL, buat NFA yang dapat mengenalinya.

    • Untuk membuktikan suatu bahasa adalah bukan RL, gunakan pumping lemma.

  • Untuk mengetahui suatu bahasa adalah CFL, buat PDA dan CFG yang dapat mengenalinya.

  • Untuk membuktikan suatu bahasa adalah bukan CFL, gunakan pumping lemma.

Pembuktian suatu bahasa adalah cfl


Pumping lemma untuk cfl

  • Misalkan, L merupakan CFL, makaterdapatvariabelz,

    • denganz = uvwxyyang z L, dan |z|≥ n.

    • n merupakansuatukonstanta.

  • Yang mengikutisyarat:

    1. |vwx| ≤ n

    2. vx ≠ 

    3. uviwxiy L, untuki ≥ 0

Pumping lemma untuk cfl


Contoh

CFL L = {anbncn | n ≥ 0 }.

Buktikan bahwa Bahasa L bukan CFL.

CONTOH

Misal n=1 L=abc

Kita bagimenjadi 5 bagian,uvxyz, dengan

  • u =  v = aw = bx = cy= 


Contoh1

CONTOH

Misal n=1 L=abc

Kita bagimenjadi 5 bagian,uvxyz, dengan

  • u =  v = aw = bx = cy= 

|vwx| ≤ n

|abc| ≤ 3

2. vx ≠ 

ac ≠ 

3. uviwxiy L, untuki ≥ 0

i = 0, b  L

i = 1, abc L


  • Login