1 Let L= { w= u v : u {a, b}*, v {c, d}* and |u|= |v|} 1.Design a context-free grammar that...
19
1 Let L= { w= u v : u {a, b}*, v {c, d}* and |u|= |v|} 1.Design a context-free grammar that generates L. 2.Use your grammar and the construction from last class to design a PDA that accepts L.
-
Upload
rosalyn-nash -
Category
Documents
-
view
212 -
download
0
Transcript of 1 Let L= { w= u v : u {a, b}*, v {c, d}* and |u|= |v|} 1.Design a context-free grammar that...
1
Let L=
{ w= u v : u {a, b}*, v {c, d}* and |u|= |v|}
1. Design a context-free grammar that generates L.
2. Use your grammar and the construction from last class to design a PDA that accepts L.
2
No class or tutorial on Tuesday July 3: reading break is July 2-3 for May to August classes.
During reading break: try doing problems on old midterm and final exams. Our final exam is fast approaching.
3
The worst question on the midterm was Question #4. These were on previous midterms. Make sure you know how to work all the questions on the old final exams and ask about them at the final exam tutorial if you are unsure of the answers.
Results for Question #4:Number Correct
Number of students
0 13
1 14
2 2
3 1
4 1
4
(a) If x Ï L1 and y Ï L2 then x × y Ï L1 × L2.
(b) A regular language can contain a subset which is not a regular language.
(c) The set *f does not contain any strings.
(d) If L = { w Î { a, b }* : w = an bn, n ³ 0 }, then = { w Î { a, b }* : w = an bm, n > m} È { w Î { a, b }* : w = an bm, n < m}.
5
To organize your cases for the pumping lemma question, group according to first/last symbol of y:
What happens if there is some c’s in x or in y?
6
7
Closure Properties of Context-free Languages
Intersecting a context-free language and a regular language gives a context-free language.
Context-free languages are closed under union, concatenation and Kleene star.
Context-free languages are not closed under intersection or complement.
Thought question: are they closed under difference/exclusive or?
8
Theorem:
If L1 is context-free and L2 is regular then L1 ⋂ L2 is context-free.
Proof:
By construction. This proof is similar to the one on the assignment proving closure of regular languages under intersection.
9
L= { w c wR : w {a, b}* } ⋂ a* c a*
State Input Pop Next state
Push
s a ε s A
s b ε s B
s c ε t ε
t a A t ε
t b B t ε
Start state: s, Final State: {t}
10
Theorem:
Context-free languages are closed under union, concatenation and Kleene star.
Proof: By construction.
Let G1 = (V1, Σ, R1, S1) and
let G2 = (V2, Σ, R2, S2).
We show how to construct a grammar G= (V, Σ, R S) for L(G1) ⋃ L(G2), L(G1) ۰ L(G2), and L(G1)*.
11
L1 = { an b2n : n ≥ 0}
S1 →a S1 bb
S1 →εL2 = { u uR v : u, v in {a, b}+}
S2 → U2 V2
U2 → a U2 a
U2 → b U2 b
U2 → aa
U2 → bb
V2 → a V2
V2 → b V2
V2 → a
V2 → b
12
L1 = { an b2n : n ≥ 0}
S1 →a S1 bb
S1 →εL2 = { u uR v : u, v in {a, b}+}
S2 → U2 V2
U2 → a U2 a
U2 → b U2 b
U2 → aa
U2 → bb
V2 → a V2
V2 → b V2
V2 → a
V2 → b
UNION:
Start symbol S
S → S1 S → S2
13
L1 = { an b2n : n ≥ 0}
S1 →a S1 bb
S1 →εL2 = { u uR v : u, v in {a, b}+}
S2 → U2 V2
U2 → a U2 a
U2 → b U2 b
U2 → aa
U2 → bb
V2 → a V2
V2 → b V2
V2 → a
V2 → b
CONCATENATION:
Start symbol S
S → S1 S2
14
L1 = { an b2n : n ≥ 0}
S1 →a S1 bb
S1 →ε
KLEENE STAR:
Start symbol S
S → S1 S
S → ε
15
L2 = { u uR v : u, v in {a, b}+}
S2 → U2 V2
U2 → a U2 a
U2 → b U2 b
U2 → aa
U2 → bb
V2 → a V2
V2 → b V2
V2 → a
V2 → b
KLEENE STAR: Start symbol S
S → S2 S
S → ε
16
Theorem: L = { an bn cn : n ≥ 0} is not context-free.
Proof: Next class using the pumping theorem for context-free languages.
Today: assume it is true.
17
L1 = { ap bq cr : p = q }
Design a context-free grammar for L1.
L2 = { ap bq cr : p = r }
Design a PDA for L2.
This proves L1 and L2 are context-free.
L1 ⋂ L2 = { an bn cn : n ≥ 0}.
Therefore, context-free languages are not closed under intersection.
18
L = { an bn cn : n ≥ 0}
L1 = { ap bq cr : p ≠ q }
L2 = { ap bq cr : p ≠ r }
L3 = { ap bq cr : q ≠ r }
The complement of L is NOT equal to
L1 ⋃ L2 ⋃ L3.
Which strings are in the complement of L but not in L1 ⋃ L2 ⋃ L3?
19
L = { an bn cn : n ≥ 0}
L1 = { ap bq cr : p ≠ q }
L2 = { ap bq cr : p ≠ r }
L3 = { ap bq cr : q ≠ r }
L4 = { w {a, b, c}* : w ∉ a* b* c*}
L1 ⋃ L2 ⋃ L3⋃ L4 is context-free and is the complement of L.
Therefore, context-free languages are not closed under complement.
![LGS Presentation Ne · KDD Z / > lZ d /> µ ] v U µ ] u v o ] v P } u v ] U o ] À } l v ] v P U u ] v v v Wh >/ tKZ](https://static.fdocuments.us/doc/165x107/5f919b0cc4185e1eb62a9a52/lgs-presentation-kdd-z-lz-d-v-u-u-v-o-v-p-u-v-u-o-.jpg)
![UITNODIGING ]Pv} ]vPu]o }Pv] À ]u ] u v v u v ]v ]u Ç · } }( }Pv] }vv ]Pv} ] ]v ]u Ç v (} ÁÇ }]u }À Z ] v . }v }( } o Á] Z }Pv] À ]u ] u v } u v ÁZ}uÇ v . ( }u u oÇ X](https://static.fdocuments.us/doc/165x107/5d4ff7c788c993af2a8b78b0/uitnodiging-pv-vpuo-pv-a-u-u-v-v-u-v-v-u-c-pv-vv-pv-.jpg)
![CONSTRUCCIîN...> }o]u v ] v µ }v} ]u] v } µu]u } v ]U Z_ µ ]vÀ] ] (} u À µv } o } v o}]v ] µ U (} u o µ } ] v(} o o} v ] }V ^ o Àoµ ] v µ o]Ì o ]v] ]} µ v ] ] Ç µ u](https://static.fdocuments.us/doc/165x107/61490c329241b00fbd674e7a/construccin-ou-v-v-v-u-v-uu-v-u-z-v-u.jpg)
![K ( ( ] } ( Z } u u ] ] } v ( } v v Æ u ] v ] } v U d Z ...€¦ · K ( ( ] } ( Z } u u ] ] } v ( } v v Æ u ] v ] } v U d Z ] µ À v v Z µ u](https://static.fdocuments.us/doc/165x107/5f0269a77e708231d40426b6/k-z-u-u-v-v-v-u-v-v-u-d-z-k-z-u-u.jpg)
![C.V. arabic 30-9-2020 · 2020. 9. 30. · K ] } v Z v v P ] v ] v P u v P u v U 3ODQQLQJ DQG 6FKHGXOLQJ U d } o Y µ o ] Ç D v P u v ~dYD U } µ ] } v u v P u v v Z u Z } } o } P](https://static.fdocuments.us/doc/165x107/60bcfd1a4a6e1f7fbe6fb50b/cv-arabic-30-9-2020-2020-9-30-k-v-z-v-v-p-v-v-p-u-v-p-u-v-u-3odqqlqj.jpg)
![µ ] v ] P W u ] µ ] v K v o ] v ] · 2020-04-10 · } ( Ç } v À Ç u o Z ] U } Z v P u U µ Z Z v P } } o o u } µ v U ] v ] } v } µ v U X](https://static.fdocuments.us/doc/165x107/5e9eaf30611d0809500fb728/-v-p-w-u-v-k-v-o-v-2020-04-10-v-u-o-z-u-z.jpg)
![^ Æ u ] v ] } v } U ' µ i / v u ] Á ] v P Æ u ] v ] } v Z µ o î ì í ó } v ...sebexam.org/.../IntermediateDrawingExamResult2017.pdf^ Æ u ] v ] } v } U ' µ i / v u ] Á ]](https://static.fdocuments.us/doc/165x107/5fe3a90bf7d1aa1dbc681574/-u-v-v-u-i-v-u-v-p-u-v-v-z-o-.jpg)
![µ Ç } v Ç v u ] } v } ( u ] r µ u ] o ( o } ] v P Á ] v µ ...€¦ · µ Ç } v Ç v u ] } v } ( u ] r µ u ] o ( o } ] v P Á ] v µ ] v } v ] ] v P } u ] v Á À v µ v o](https://static.fdocuments.us/doc/165x107/6044ee0af0a78610cc1ddacf/-v-v-u-v-u-r-u-o-o-v-p-v-v-.jpg)
![v } · v u U µ ] ( ( v P µ u v Ç ~ } À o } ] v P tt } l ( } o o ( µ v ] } v U v } i µ o u u ...](https://static.fdocuments.us/doc/165x107/60ceb66308c547515b1e3790/v-v-u-u-v-p-u-v-o-v-p-tt-l-o-o-v-v-u.jpg)
![SUPR - Clanton Project Acceptance and Update 09 16 2020 Fï } ( ð } v ( } } ( ( µ µ µ o U ] u } ( u } µ v v } Ç u ] v o v µ u ] } v } ( u v P u v X v Ç u v Z Æ } ] v À }](https://static.fdocuments.us/doc/165x107/60499a72e4fd4c3e960eef4e/supr-clanton-project-acceptance-and-update-09-16-2020-f-v-.jpg)
![New v v µ o ^ µ À Ç } ( D ] v ] ] o } ] v u v v Z } ] v u v Ç Z } u u ] ] } v ( } W ... · 2019. 9. 10. · ó ' E Z d o ñW }]v u v v r }]v u v ÇP v U }o v } Çîìíñríò](https://static.fdocuments.us/doc/165x107/600f6b6ee1d891065e6d72a8/new-v-v-o-d-v-o-v-u-v-v-z-v-u-v-z-u-u-.jpg)
![h v ] v } ( } o ] } v D Z o Ç l v } Á o P } ( ( Ç u v P u ... · , wz< î ì ñ Ç } µ v ] u o U u ] v v v v u v } P u ] v u µ o µ Ç u , W Z ï ì ð](https://static.fdocuments.us/doc/165x107/60b39bd26276134c0b72d4ab/h-v-v-o-v-d-z-o-l-v-o-p-u-v-p-u-wz-.jpg)
![m|;ubl !;rou| -m -u K m; t t |bl; b] t -u|;u b| v|uom] u;v t|v · v u v v](https://static.fdocuments.us/doc/165x107/5f981e2f0cb87e0cbb62f572/mubl-rou-m-u-k-m-t-t-bl-b-t-uu-b-vuom-uv-tv-v-u-v-v.jpg)
![s u...hdK^ Z } u v ] µ u U W í t o ] ] } v Zd ï ò ñ í ï / u o u v ] } v / v P ] } v s u ä t ä v 4 4 4 4 4 4 & } Z ^ } ( Á } u } v v U Z ...](https://static.fdocuments.us/doc/165x107/5e3d97ee074398037605e7d4/s-u-hdk-z-u-v-u-u-w-t-o-v-zd-u-o-u-v-v.jpg)
![u ] ] } v } D ^ l ^ } µcee-kerala.org/docs/keam2017/allot/p5/mnrty_azc.pdfK ( ( ] } ( Z } u u ] ] } v ( } v v Æ u ] v ] } v U d Z ] µ À v v Z µ u K ( ( ] } ( Z } u u ] ] } v (](https://static.fdocuments.us/doc/165x107/6003b797f2dd83351d5b4be7/u-v-d-l-cee-k-z-u-u-v-v-v-u-v-v.jpg)
![ÀK W ] u W ^ µ ] v W ] ( } u } ' } À v u v Primer_1.pdf · ÀK W ] u W ^ µ ] v W ] ( } u } ' } À v u v ... l](https://static.fdocuments.us/doc/165x107/5e6406995fed517b5d5693cc/k-w-u-w-v-w-u-v-u-v-primer1pdf-k-w-u-w-.jpg)
![} v v ] } v µ v u } ] ( ] } u } o u v v µ u o ] u ] v } o ...€¦ · } v v ] } v µ v u } ] ( ] } u } o u v v µ u o ] u ] v } o ] } ] ] } v W î ì í ô ¶ . Ô Ï Ë Ð Ñ Õ](https://static.fdocuments.us/doc/165x107/5f5c0013de7ced037a2a739d/-v-v-v-v-u-u-o-u-v-v-u-o-u-v-o-v-v-v-v.jpg)