Download - Pump Examples
![Page 1: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/1.jpg)
Pumping LemmaExamples
![Page 2: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/2.jpg)
L> = {aibj : i > j}
L> is not regular.
We prove it using the Pumping Lemma.
![Page 3: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/3.jpg)
L> = {aibj : i > j}
L> is not regular. • Fix an arbitrary pumping length n>0.
![Page 4: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/4.jpg)
L> = {aibj : i > j}
L> is not regular. • Fix an arbitrary pumping length n>0.• Choose a proper string s in L>.
![Page 5: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/5.jpg)
L> = {aibj : i > j}
L> is not regular. • Fix an arbitrary pumping length n>0.• Choose a proper string s in L>.
|s|≥ n
![Page 6: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/6.jpg)
L> = {aibj : i > j}
L> is not regular. • Fix an arbitrary pumping length n>0.• Choose a proper string s in L>.
• s = an+1bn ϵ L>.
aaa…aabb…bnn+1
![Page 7: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/7.jpg)
L> = {aibj : i > j}
L> is not regular. • Fix an arbitrary pumping length n>0.• Choose a proper string s in L>.
• s = an+1bn ϵ L>.• Consider all possible splittings of s in x,y,z with
the desired properties.
aaa…aabb…bnn+1
![Page 8: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/8.jpg)
L> = {aibj : i > j}
L> is not regular. • Fix an arbitrary pumping length n>0.• Choose a proper string s in L>.
• s = an+1bn ϵ L>.• Consider all possible splittings of s in x,y,z with
the desired properties.
|xy|≤ n|y|≥ 1
aaa…aabb…bnn+1
![Page 9: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/9.jpg)
L> = {aibj : i > j}
L> is not regular. • Fix an arbitrary pumping length n>0.• Choose a proper string s in L>.
• s = an+1bn ϵ L>.• Consider all possible splittings of s in x,y,z with
the desired properties.
|xy|≤ n|y|≥ 1
aaa…aabb…bnn+1
![Page 10: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/10.jpg)
L> = {aibj : i > j}
L> is not regular. • Fix an arbitrary pumping length n>0.• Choose a proper string s in L>.
• s = an+1bn ϵ L>.• Consider all possible splittings of s in x,y,z with
the desired properties.
|xy|≤ n|y|≥ 1
aaa…aabb…bYnn+1
![Page 11: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/11.jpg)
L> is not regular. • Fix an arbitrary pumping length n>0.• Choose a proper string s in L>.
• s = an+1bn ϵ L>.• Consider all possible splittings of s in x,y,z with
the desired properties: y = am, 1 ≤ m ≤ n.
aaa…aabb…b
L> = {aibj : i > j}
Ynn+1
![Page 12: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/12.jpg)
aaabb…bnn+1-m
L> is not regular. • Fix an arbitrary pumping length n>0.• Choose a proper string s in L>.
• s = an+1bn ϵ L>.• Consider all possible splittings of s in x,y,z with
the desired properties: y = am, 1 ≤ m ≤ n.• xz =an+1-mbn ∉ L>.
L> = {aibj : i > j}
n
![Page 13: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/13.jpg)
L> = {aibj : i > j}
L> is not regular. • Fix an arbitrary pumping length n>0.• Choose a proper string s in L>.
• s = an+1bn ϵ L>.• Consider all possible splittings of s in x,y,z with
the desired properties: y = am, 1 ≤ m ≤ n.• xz =an+1-mbn ∉ L>.
• So L> is not regular!
![Page 14: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/14.jpg)
L={ww : w in {a,b}*}• First, figure out what this language is.
![Page 15: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/15.jpg)
L={ww : w in {a,b}*}• First, figure out what this language is.• A string in the language?
![Page 16: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/16.jpg)
• First, figure out what this language is.• A string in the language? aabaab
L={ww : w in {a,b}*}
![Page 17: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/17.jpg)
L={ww : w in {a,b}*}• First, figure out what this language is.• A string in the language? aabaab• Another string in the language?
![Page 18: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/18.jpg)
L={ww : w in {a,b}*}• First, figure out what this language is.• A string in the language? aabaab• Another string in the language? aaaaaa
![Page 19: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/19.jpg)
L={ww : w in {a,b}*}• First, figure out what this language is.• A string in the language? aabaab• Another string in the language? aaaaaa• A string not in the language?
![Page 20: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/20.jpg)
L={ww : w in {a,b}*}• First, figure out what this language is.• A string in the language? aabaab• Another string in the language? aaaaaa• A string not in the language? abbb
![Page 21: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/21.jpg)
L={ww : w in {a,b}*}• First, figure out what this language is.• A string in the language? aabaab• Another string in the language? aaaaaa• A string not in the language? abbb• Is ε in the language?
![Page 22: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/22.jpg)
L={ww : w in {a,b}*}• First, figure out what this language is.• A string in the language? aabaab• Another string in the language? aaaaaa• A string not in the language? abbb• Is ε in the language? YES! (ε = εε)
![Page 23: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/23.jpg)
L={ww : w in {a,b}*}• First, figure out what this language is.• A string in the language? aabaab• Another string in the language? aaaaaa• A string not in the language? abbb• Is ε in the language? YES! (ε = εε)• Is aa in the language?
![Page 24: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/24.jpg)
L={ww : w in {a,b}*}• First, figure out what this language is.• A string in the language? aabaab• Another string in the language? aaaaaa• A string not in the language? abbb• Is ε in the language? YES! (ε = εε)• Is aa in the language? YES!
![Page 25: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/25.jpg)
L={ww : w in {a,b}*}• First, figure out what this language is.• A string in the language? aabaab• Another string in the language? aaaaaa• A string not in the language? abbb• Is ε in the language? YES! (ε = εε)• Is aa in the language? YES! • Is a in the language?
![Page 26: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/26.jpg)
L={ww : w in {a,b}*}• First, figure out what this language is.• A string in the language? aabaab• Another string in the language? aaaaaa• A string not in the language? abbb• Is ε in the language? YES! (ε = εε)• Is aa in the language? YES! • Is a in the language? NO!
![Page 27: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/27.jpg)
L={ww : w in {a,b}*}• First, figure out what this language is.L = {ε, aa, bb, aaaa, abab, baba, bbbb, aaaaaa …}
abaabba|abaabba
![Page 28: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/28.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.
![Page 29: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/29.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• First fix an arbitrary number n>0 to be the
pumping length.
![Page 30: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/30.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language
![Page 31: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/31.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.
Choose wisely!!!
![Page 32: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/32.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.
Example: For s = a2n
aaa…aaa|aaa…aaan n
![Page 33: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/33.jpg)
aaa…aaa|aaa…aaa
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.
Example: For s = a2n • For x = ε, y = a2, z = a2n-2
zy
n n
![Page 34: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/34.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.
Example: For s = a2n • For x = ε, y = a2, z = a2n-2
aaaaa…aa|aaaa…aaazy
n+1 n+1
y ϵ L
![Page 35: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/35.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.
Example: For s = a2n • For x = ε, y = a2, z = a2n-2
aaaaaaa…a|aaaaa…aaazy
n+2 n+2
y ϵ Ly
![Page 36: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/36.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.
Example: For s = a2n • For x = ε, y = a2, z = a2n-2
a…aaaa|aa…aaaz
n-1 n-1
ϵ L
![Page 37: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/37.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.
Example: For s = a2n • For x = ε, y = a2, z = a2n-2, there is no i: xyiz ∉ L!
![Page 38: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/38.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.
Example: For s = a2n • For x = ε, y = a2, z = a2n-2, there is no i: xyiz ∉ L!• s = a2n doesn’t work!!!
![Page 39: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/39.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.
Example: For s = (ab)2n
abab…abab|abab…ababn n
![Page 40: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/40.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.
Example: For s = (ab)2n • For x = ε, y = abab, z = (ab)2n-2
abab…abab|abab…ababn n
zy
![Page 41: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/41.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.
Example: For s = (ab)2n • For x = ε, y = abab, z = (ab)2n-2
abababab…ab|ababab…ababn+1 n+1
y zy ϵ L
![Page 42: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/42.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.
Example: For s = (ab)2n • For x = ε, y = abab, z = (ab)2n-2
• For any i, xyiz = (ab)2i(ab)2n-2 = (ab)2(i-n-2) ϵ L!
![Page 43: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/43.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.
Example: For s = (ab)2n • For x = ε, y = abab, z = (ab)2n-2
• For any i, xyiz = (ab)2i(ab)2n-2 = (ab)2(i-n-2) ϵ L!• s = (ab)2n doesn’t work!
![Page 44: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/44.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language.• Use s = anbanb
aaaa…aab|aaaa...aabn n
![Page 45: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/45.jpg)
aaaa…aab|aaaa...aab
We prove that L is not regular by using the pumping lemma.
• Pumping length: n• Choose a proper string in the language. • Use s = anbanb• For any splitting of s in x,y,z with the desired
properties:
L={ww : w in {a,b}*}
Yn n
![Page 46: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/46.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language • Use s = anbanb• For any splitting of s in x,y,z with the desired
properties: y = am with 1 ≤ m ≤ n.
![Page 47: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/47.jpg)
L={ww : w in {a,b}*}We prove that L is not regular by using the
pumping lemma.• Pumping length: n• Choose a proper string in the language • Use s = anbanb• For any splitting of s in x,y,z with the desired
properties: y = am with 1 ≤ m ≤ n.• Observe that xy2z = am+nbanb is not in L
QED
![Page 48: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/48.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?
![Page 49: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/49.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?• A first attempt to design a FA
q10 q11 q12 q13
q2n
a,b
q2n-1 q2n-2 q2n-3
q1n
q20
a,b
a,b
a,b a,b
a,b a,b a,b
ε
...
...
![Page 50: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/50.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?• A first attempt to design a FA fails!
q10 q11 q12 q13
q2n
a,b
q2n-1 q2n-2 q2n-3
q1n
q20
a,b
a,b
a,b a,b
a,b a,b a,b
ε
...
...
Works for string sizes up to n!
![Page 51: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/51.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?• Looks similar with L (L = {w1w2 : w1 = w2}.
![Page 52: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/52.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?• Looks similar with L (L = {w1w2 : w1 = w2}.• But the pumping lemma holds!
![Page 53: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/53.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?• Looks similar with L (L = {w1w2 : w1 = w2}.• But the pumping lemma holds!– Fix pumping length k=2.
![Page 54: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/54.jpg)
Is it regular?• Looks similar with L (L = {w1w2 : w1 = w2}.• But the pumping lemma holds!– Fix pumping length k=2.– For every proper string s in L’,
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
abbba…abb|bbaba…aaan n
2n≥2
![Page 55: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/55.jpg)
abbba…abb|bbaba…aaa
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?• Looks similar with L (L = {w1w2 : w1 = w2}.• But the pumping lemma holds!– Fix pumping length k=2.– For every proper string s in L’,– split s in x, y, z with the desired properties.
zy
n n
|y|≥1 and |xy|≤ 2
![Page 56: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/56.jpg)
abbba…abb|bbaba…aaa
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?• Looks similar with L (L = {w1w2 : w1 = w2}.• But the pumping lemma holds!– Fix pumping length k=2.– For every proper string s in L’,– split s in x = ε ,y = first two symbols of s, z = rest.
zy
n n
![Page 57: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/57.jpg)
ababbba…ab|bbbaba…aaa
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?• Looks similar with L (L = {w1w2 : w1 = w2}.• But the pumping lemma holds!– Fix pumping length k=2.– For every proper string s in L’,– split s in x = ε ,y = first two symbols of s, z = rest.– xy2z in L’.
n+1
ϵ L’zyy
n+1
![Page 58: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/58.jpg)
abababbba…a|bbbbaba…aaa
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?• Looks similar with L (L = {w1w2 : w1 = w2}.• But the pumping lemma holds!– Fix pumping length k=2.– For every proper string s in L’,– split s in x = ε ,y = first two symbols of s, z = rest.– xy3z in L’.
n+2
ϵ L’zyyy
n+2
![Page 59: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/59.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?• Looks similar with L (L = {w1w2 : w1 = w2}.• But the pumping lemma holds!– Fix pumping length n=2.– For every proper string s in L’,– split s in x = ε ,y = first two symbols of s, z = rest.– xy0z in L’.
bba…abbb|baba…aaaϵ L’z
n-1n-1
![Page 60: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/60.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?• Looks similar with L (L = {w1w2 : w1 = w2}.• But the pumping lemma holds!– Fix pumping length n=2.– For every proper string s in L’,– split s in x = ε ,y = first two symbols of s, z = rest.– For every i ≥ 0, xyiz in L’.
![Page 61: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/61.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular? • Consider L’’ = {w : w has even length}.
![Page 62: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/62.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular? • Consider L’’ = {w : w has even length}.
Every string of even length
abbbaabb….…bbabaaaa2n
![Page 63: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/63.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular? • Consider L’’ = {w : w has even length}.
Every string of even length can be split into two parts of equal length
abbbaabb… …bbabaaaan
|n
![Page 64: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/64.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular? • Consider L’’ = {w : w has even length}.
Every string of even length can be split into two parts of equal length and vice versa.
abbbaabb….…bbabaaaa2n
![Page 65: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/65.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?• Consider L’’ = {w : w has even length}.• L’ = L’’
Every string of even length can be split into two parts of equal length and vice versa.
![Page 66: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/66.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular? • Consider L’’ = {w : w has even length}• L’ = L’’• A DFA for L’’:
odd
a,b
even
a,b
![Page 67: Pump Examples](https://reader036.vdocuments.site/reader036/viewer/2022062303/553714034a7959c1188b4bf8/html5/thumbnails/67.jpg)
L’ = {w1w2 : w1,w2 ϵ {a,b}*,|w1|=|w2|}
Is it regular?• YES!!!• L’ = L’’• A DFA for L’:
odd
a,b
a,b
even