jflap grammatikad - courses.cs.ut.ee · there and back again! teeme väikese muudatuse, et oleks...
TRANSCRIPT
![Page 1: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/1.jpg)
JFLAP GrammatikadVesal Vojdani
(TÜ Arvutiteaduse Instituut)
![Page 2: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/2.jpg)
Regex → Grammatika?
• Väidetavalt peaks siis saama iga regulaaravaldis ümber kirjutada grammatikaks?
• Võite proovida näiteks ε | a(b|ba*)*ba* grammatikana kirja panna?
• Üldiselt võib defineerida rekursiivne definitsioon nagu meie kodutöödes, aga saab lihtsamalt…
See osa on optional… Skip!
![Page 3: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/3.jpg)
Automaat!(Me ju teame, et iga regulaaravaldis → Automaat)
![Page 4: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/4.jpg)
Võite ise katsetada!Idee: igale olekule vastab mitte-terminaal sümbol
![Page 5: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/5.jpg)
LõppolekS → ε
![Page 6: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/6.jpg)
LõppolekB → ε
![Page 7: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/7.jpg)
ÜleminekudS → aA
![Page 8: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/8.jpg)
ÜleminekudA → bA
![Page 9: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/9.jpg)
ÜleminekudA → bB
![Page 10: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/10.jpg)
ÜleminekudB → aB
![Page 11: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/11.jpg)
EpsilonigaB → A
![Page 12: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/12.jpg)
Valmis!(nüüd tagasi…)
![Page 13: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/13.jpg)
There and back again!Teeme väikese muudatuse, et oleks kõik kaetud.
![Page 14: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/14.jpg)
Teisendame automaadiksGrammatika on endiselt parem-lineaarne.
![Page 15: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/15.jpg)
Igale mitte-terminalile olekLisame uue oleku lõpp-oleku jaoks.
![Page 16: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/16.jpg)
Sama põhimõtteS → aA
![Page 17: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/17.jpg)
Sama põhimõtteA → bB
![Page 18: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/18.jpg)
Sama põhimõtteA → bA
![Page 19: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/19.jpg)
Sama põhimõtteB → aB
![Page 20: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/20.jpg)
Sama põhimõtteA → B
![Page 21: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/21.jpg)
Ainult terminaligaS → ε
![Page 22: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/22.jpg)
Ainult terminaligaB → b
![Page 23: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/23.jpg)
Regulaarne keel• Iga regulaaravaldis saab teisendada parem-
lineaarseks grammatikaks.
• Iga (parem-)lineaarne grammatika saab teisendada regulaaravaldiseks.
• (Kõik käbi läbi automaadi)
• Ka mitte-lineaarne grammatika võib defineerida regulaarse keele…
![Page 24: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/24.jpg)
Grammatika versus keel• S → aS
S → SbS → c
• Keel: a*cb*.
• Selle keele jaoks ikkagi leidub parem-lineaarne grammatika.
• Me olime lihtsalt ise rumalad!
• S → aSbS → c
• Keel: ancbn (n > 0).
• Selle keele jaoks ei leidu parem-lineaarne grammatika.
• Saab tõestada, et keelele vastav automaat ei leidu.
![Page 25: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/25.jpg)
ParsimineMeile tuttav avaldiste grammatika, aga…
ainult ühe terminalsümboliga ‘x’.
![Page 26: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/26.jpg)
JõumeetodKui me parsimisest veel midagi ei tea, siis on kõige
lihtsam kasutada “brute force parse”…
![Page 27: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/27.jpg)
Sisendsõnex+x+x
![Page 28: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/28.jpg)
Start!Derivatsioon on leitud ja nüüd JFLAP laseb meil
sammhaaval sõne tuletada.
![Page 29: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/29.jpg)
E → E+EE → E+E
![Page 30: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/30.jpg)
E → E+EE → E+E → E+E+E
![Page 31: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/31.jpg)
E → xE → E+E → E+E+E → x+E+E
![Page 32: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/32.jpg)
E → xE → E+E → E+E+E → x+E+E → x+x+E
![Page 33: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/33.jpg)
E → xE → E+E → E+E+E → x+E+E → x+x+E → x+x+x
![Page 34: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/34.jpg)
Vaatame derivatsiooniE → E+E → E+E+E → x+E+E → x+x+E → x+x+x
![Page 35: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/35.jpg)
Vaatame derivatsiooniE → E+E → E+E+E → x+E+E → x+x+E → x+x+x
![Page 36: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/36.jpg)
Teine parsepuuProovime ise juhtida parsimist, et kätte saada
teistsugune parsepuu.
![Page 37: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/37.jpg)
Sisestame sama sõnex+x+x
![Page 38: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/38.jpg)
Start!Nüüd saame ise valida reegli!
![Page 39: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/39.jpg)
Start!Valime ära ja vajutame step!
![Page 40: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/40.jpg)
E → E+ESiiamaani kõik tuttav, aga nüüd peab valima!
![Page 41: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/41.jpg)
Valime vasakpoolset(sest JFLAP oli parempoolne…)
![Page 42: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/42.jpg)
Tegime ära!Nüüd tahame E asendada x-iga.
![Page 43: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/43.jpg)
E → xNüüd peaks jälle valima, milline E asendada…
![Page 44: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/44.jpg)
E → xTeeme kõik korraga, sest siin ei ole ju vahet!
![Page 45: JFLAP Grammatikad - courses.cs.ut.ee · There and back again! Teeme väikese muudatuse, et oleks kõik kaetud](https://reader030.vdocuments.pub/reader030/viewer/2022020205/5bb7dc8b09d3f2751e8b9557/html5/thumbnails/45.jpg)
Valmis!