460 likes | 1.43k Views
Contoh – Contoh Soal. Pumping Lemma RL CFL PDA Pumping Lemma CFL. Pumping Lemma. REGULER. Language L1 = {0 n 1 |n>0}. Apakah L1 bahasa reguler ?. L1 diubah menjadi bentuk w = xyz . Berarti panjang string w adalah 3. x = 0 y = 0 z = 1 syarat 1: y ≠ empty terpenuhi
E N D
Contoh – ContohSoal Pumping Lemma RL CFL PDA Pumping Lemma CFL
Pumping Lemma REGULER Language L1 = {0n1 |n>0} Apakah L1 bahasareguler? • L1 diubahmenjadibentukw = xyz. Berartipanjang string w adalah 3. • x = 0 y = 0 z = 1 • syarat 1: y ≠ emptyterpenuhi • syarat 2: |xy| ≤ n |00| ≤ 3 terpenuhi • syarat 3: xynz, k > 0 terpenuhi • jika k bernilai 0 maka terbentuk string 01 ∈ L1 • jika k bernilai 1 maka terbentuk string 001 ∈ L1 • jika k bernilai 2 maka terbentuk string 0001 ∈ L1
Pumping Lemma REGULER Language L2 = {01n |n≥0} Apakah L2 bahasareguler? • L2 diubahmenjadibentukw = xyz. Berartipanjang string w adalah 3. • x = 0 y = 1z = 1 • syarat 1: y ≠ emptyterpenuhi • syarat 2: |xy| ≤ n |01| ≤ 3 terpenuhi • syarat 3: xykz, k > 0 terpenuhi • jika k bernilai 0 maka terbentuk string 01 ∈ L2 • jika k bernilai 1 maka terbentuk string 011 ∈ L2 • jika k bernilai 2 maka terbentuk string 0111 ∈ L2
Pumping Lemma REGULER L3 = (0110)* Apakah L3 bahasareguler? • L3 diubahmenjadibentukw = xyz. Berartipanjang string w adalah4. • x = y = 01z = 10 • syarat 1: y ≠ emptyterpenuhi • syarat 2: |xy| ≤ n |01| ≤ 4 terpenuhi • syarat 3: xykz, k > 0 terpenuhi • jika k bernilai 0 maka terbentuk string 10 ∈ L3 • jika k bernilai 1 maka terbentuk string 0110 ∈ L3 • jika k bernilai 2 maka terbentuk string 010110 ∈ L3
Pumping Lemma TIDAK REGULER Language L4 = {0n1n |n>0} Apakah L4 bahasareguler? • L4 diubahmenjadibentukw = xyz. Berartipanjang string w adalah 2. • x = y = 0z = 1 • syarat 1: y ≠ emptyterpenuhi • syarat 2: |xy| ≤ n |0| ≤ 2terpenuhi • syarat 3: xykz, k > 0 TIDAK terpenuhi • jika k bernilai 0 maka terbentuk string 1 L3 • jika k bernilai 1 maka terbentuk string 01 ∈ L3 • jika k bernilai 2 maka terbentuk string 00 1 L3
CFL Tuliskan 5 turunandariaturanproduksiberikut: S → aSa | aBa B → bB | b S aSa aaSaa aaaBaaa aaabBaaa aaabbaaa
CFL Tuliskan2turunandariaturanproduksiberikut: S → AB A → B S AB BB
CFL Tuliskan 5 turunandariaturanproduksiberikut: S → 0S1 S → 01 S 0S1 00S11 000S111 0000S1111 0000011111
CFL • Tuliskan 5 turunandariaturanproduksiberikut: • S → abScB | • B → bB | b S abScB ababScBcB ababcBcB ababcbB ababcbb
CFL Diberikansuatu grammar dengansimbolawal S: S -> aBS -> bAA -> aA -> aSA -> BAAB -> bB -> bSB -> ABB Tunjukkanbahwa string ababbatermasukturunandariaturanproduksidiatas. S aB abS abaB ababS ababbA ababba
CFL Diberikansuatu grammar dengansimbolawal S: S -> aBS -> bAA -> aA -> aSA -> BAAB -> bB -> bSB -> ABB Buktikanbahwasemua string yang menjaditurunanaturanproduksitersebutmemilikibanyak a dan b yang sama. S aB aABB aaBB aabB aabb
CFL Temukan CFG yang dapatmenghasilkanBahasa: L = { anbm | 0 ≤ n ≤ m ≤ 2n}. L = {anbmck : k = n + m } S aSb | aSbb | S aSc | B B bBc |
CFL Tuliskan CFG yang menghasilkanBahasaberikut. Gunakanalfabet {0,1}. {w|wmemilikisekurangnyatiga 1} {w|wdiawalidandiakhiridengansimbol yang sama} S 111 | 0S | 1S | 0S0 | 1S1 S 0A0 | 1A1 A 0A | 1A |
CFL Jelaskanmengapa grammar berikutinibersifatambigu. S → 0A | 1B A → 0AA | 1S | 1 B → 1BB | 0S | 0 S 0A 00AA 001SA 001S1 0011B1 001101 S 0A 00AA 001A 0011S 00110A 001101
CFL Jelaskanmengapa grammar berikutinidisebutambigu. S AB | CD A 0A1 | 01 B 2B | 2 C 0C | 0 D 1D2 | 12 S AB 01B 012 S CD 0D 012
CFL Diketahui CFG ambiguberikutini: S → AB | aaB A → a | Aa B → b Tuliskan string s dari grammar tersebut yang memilikiduaturunan paling-kiri (leftmost derivation). Tunjukkanpohonturunannya. S AB AaB aaB aab S aaB aab
CFL S AB AaB aaB aab S aaB aab S S A B a a B A a b b a
CFL_A Tuliskanempatturunandariaturanproduksiberikut: S abScB | BbB | b Gambarkan pula pohonturunannya! S abScB ababScBcB ababcBcB ababcbB
CFL_A S abScB ababScBcB ababcBcB ababcbB S a b S c B a b S c B b
CFL_B Tuliskanempatturunandariaturanproduksiberikut: S aSb | bY | Ya Y bY | aY | T Gambarkan pula pohonturunannya! S aSb abYb abbYb abbTb
CFL_B S aSb abYb abbYb abbTb S a S b b Y T
CFL_A Apakah CFG berikutinibersifatambigu? Jelaskanalasannya! S Ab | aaB A a | Aa B b S Ab Aab aab S aaB aab CFG tersebutbersifatambigukarenaada string yang berasaldariduaataulebihpohonturunan
CFL_B Apakah CFG berikutinibersifatambigu? Jelaskanalasannya! S aB | bA A a | aS | bAA B b | bS | aBB Thank’s to Supri CFG tersebuttidakbersifatambigukarenatidakadasatupun string yang berasaldariduaataulebihpohonturunan S aB aaBB aabSB aabbAB aabbaB aabbab S aB aaBB aabB aabbS aabbaB aabbab CFG tersebutbersifatambigukarenaada string yang berasaldariduaataulebihpohonturunan
PDA_A • Diberikansuatu PDA M1 sebagaiberikut: Apakah string aaaadapatditerimaoleh PDA M1? String aaaa TIDAK dapatditerimaoleh PDA M1.
PDA_A String aaaa TIDAK dapatditerimaoleh PDA M1.
PDA_B • Diberikansuatu PDA M1 sebagaiberikut: Apakah string aaabadapatditerimaoleh PDA M1? String aaaba TIDAK dapatditerimaoleh PDA M1.
PDA_B String aaaba TIDAK dapatditerimaoleh PDA M1.
PDA_A • Diberikansuatu PDA M2 sebagaiberikut: Apakah string bbcbbdapatditerimaoleh PDA M2! String bbcbbdapatditerimaoleh PDA M2.
PDA_A String bbcbbdapatditerimaoleh PDA M2.
PDA_B • Diberikansuatu PDA M2 sebagaiberikut: Apakah string aacaadapatditerimaoleh PDA M2! String aacaadapatditerimaoleh PDA M2.
PDA_B String aacaadapatditerimaoleh PDA M2.
Pumping Lemma Buktikanbahwa L = {aib2icj : i,j ≥ 0} merupakan CFL! Misali=1, j=1 L=abbc Kita bagimenjadi 5 bagian,uvxyz, dengan • u = a v = w = bb x = c y =
L = {aib2icj : i,j ≥ 0} Pumping Lemma Misali=1, j=1 L=abbc Kita bagimenjadi 5 bagian,uvxyz, dengan • u = a v = w = bb x = c y = |vwx| ≤ n |bbc| ≤ 3 2. |vx| ≠ 0 |c| ≠ 0 3. uviwxiy L, untuki ≥ 0 i = 0, abb L i = 1, abbc L i = 2, abbcc L TERBUKTI CFL
Pumping Lemma Buktikanbahwa L = {aib2ici : i ≥ 0} bukanmerupakan CFL! Misali=1, j=1 L=abbc Kita bagimenjadi 5 bagian,uvxyz, dengan • u = a v = w = bb x = c y =
L = {aib2ici : i ≥ 0} Pumping Lemma Misali=1, j=1 L=abbc Kita bagimenjadi 5 bagian,uvxyz, dengan • u = a v = w = bb x = c y = |vwx| ≤ n |bbc| ≤ 3 2. vx ≠ c ≠ 3. uviwxiy L, untuki ≥ 0 i = 0, abb L i = 1, abbcc L i = 2, abbccc L TERBUKTI BUKAN CFL