CS622 Context-Free Languages (CFLs)
31
CS622 Context-Free Languages (CFLs)
Transcript of CS622 Context-Free Languages (CFLs)
![Page 1: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/1.jpg)
CS622
Context-Free Languages (CFLs)
![Page 2: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/2.jpg)
Announcements
••
•
•
![Page 3: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/3.jpg)
![Page 4: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/4.jpg)
![Page 5: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/5.jpg)
⇒ M w N w
• M w
• N w
⇐ N w M w
•
•
•
![Page 6: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/6.jpg)
→
![Page 7: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/7.jpg)
L
L’sEXPANDc(L)
EXPANDc(L)
EXPANDc
![Page 8: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/8.jpg)
Last Time:
![Page 9: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/9.jpg)
![Page 10: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/10.jpg)
![Page 11: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/11.jpg)
![Page 12: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/12.jpg)
https://docs.oracle.com/javase/specs/jls/se7/html/jls-2.html
![Page 13: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/13.jpg)
https://docs.python.org/3/reference/grammar.html
![Page 14: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/14.jpg)
https://docs.python.org/3/reference/grammar.html
![Page 15: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/15.jpg)
![Page 16: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/16.jpg)
•
•
![Page 17: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/17.jpg)
![Page 18: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/18.jpg)
Flashback:
•
••
•
•
ε
![Page 19: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/19.jpg)
⇒
⇐
![Page 20: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/20.jpg)
⇒
⇐
L
•
• ⇒ ⇐
•
•
•
![Page 21: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/21.jpg)
• EXPR ⇒
• EXPR TERM ⇒
• TERM TERM ⇒
• FACTOR TERM ⇒
• TERM
• EXPR ⇒
• EXPR TERM ⇒
• EXPR TERM ⨯ FACTOR ⇒
• EXPR TERM ⨯ ⇒
⨯
![Page 22: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/22.jpg)
![Page 23: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/23.jpg)
• EXPR =>
• EXPR + TERM =>
• TERM + TERM =>
• FACTOR + TERM =>
• a + TERM
• EXPR =>
• EXPR + TERM =>
• EXPR + TERM FACTOR =>
• EXPR + TERM a=>
![Page 24: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/24.jpg)
![Page 25: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/25.jpg)
![Page 26: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/26.jpg)
••
![Page 27: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/27.jpg)
•
•• ELEMENT <TAG>CONTENT</TAG>
•
•
![Page 28: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/28.jpg)
•
•
•
•
•
![Page 29: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/29.jpg)
•
•
•
•
![Page 30: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/30.jpg)
• S -> 0C’0 | 1C’1 | ε
• C’ -> C’C | ε
• C -> 0 | 1
![Page 31: CS622 Context-Free Languages (CFLs)](https://reader030.fdocument.pub/reader030/viewer/2022020622/61edb50e9eeb9674610caa05/html5/thumbnails/31.jpg)
Check-in Quiz 9/29