Upload
doandien
View
246
Download
0
Embed Size (px)
Citation preview
JFLAPVesal Vojdani
(TÜ Arvutiteaduse Instituut)
Paigaldaminehttps://courses.cs.ut.ee/2016/AKT/spring/Main/Links
Tühja sümboli tähisRegulaaravaldises kasutame ! epsiloni sisestamiseks
Valiku tähis on | asemel +
Tutorial!http://www.jflap.org/tutorial/
http://www.jflap.org/tutorial/fa/createfa/fa.html
ab*a automaat
ab*a automaatKäivitame sõnega “abba”
ab*a automaatKäivitame sõnega “abba”
ab*a automaatJärgijäänud sõne: “abba”
Olek: q0 (algolek)
ab*a automaatJärgijäänud sõne: “bba”
Olek: q1
ab*a automaatJärgijäänud sõne: “ba”
Olek: q1
ab*a automaatJärgijäänud sõne: “a”
Olek: q1
ab*a automaatJärgijäänud sõne: “” Olek: q2 (lõppolek!)
Ülesanne
• Kirjutada regulaaravaldis, mis defineerib keele L üle tähestiku {a,b}.
• L1 = sõnad, mis sisaldavad täpselt ühte ‘a’-d.
• L2 = sõnad, mis sisaldavad vähemalt ühte ‘b’-d.
• L = L1 ∩ L2
Automaatide Ühisosahttp://planetmath.org/productofautomata
Kõigepealt otsekorrutis(live demo)
Tulemus
(x*ay*b)*x*ay*Automaat → Regulaaravaldis
Proovime JFLAP abil(Kõigepealt tahvli peal!)
Tulemus(bb*a|ab)b*