jflap - ut · jflap : (final.jff) help convert to dfa miniminize dfa convert to grammar convert fa...
TRANSCRIPT
![Page 1: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/1.jpg)
JFLAPVesal Vojdani
(TÜ Arvutiteaduse Instituut)
![Page 2: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/2.jpg)
Paigaldaminehttps://courses.cs.ut.ee/2016/AKT/spring/Main/Links
![Page 3: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/3.jpg)
Tühja sümboli tähisRegulaaravaldises kasutame ! epsiloni sisestamiseks
Valiku tähis on | asemel +
![Page 4: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/4.jpg)
Tutorial!http://www.jflap.org/tutorial/
http://www.jflap.org/tutorial/fa/createfa/fa.html
![Page 5: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/5.jpg)
ab*a automaat
![Page 6: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/6.jpg)
ab*a automaatKäivitame sõnega “abba”
![Page 7: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/7.jpg)
ab*a automaatKäivitame sõnega “abba”
![Page 8: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/8.jpg)
ab*a automaatJärgijäänud sõne: “abba”
Olek: q0 (algolek)
![Page 9: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/9.jpg)
ab*a automaatJärgijäänud sõne: “bba”
Olek: q1
![Page 10: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/10.jpg)
ab*a automaatJärgijäänud sõne: “ba”
Olek: q1
![Page 11: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/11.jpg)
ab*a automaatJärgijäänud sõne: “a”
Olek: q1
![Page 12: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/12.jpg)
ab*a automaatJärgijäänud sõne: “” Olek: q2 (lõppolek!)
![Page 13: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/13.jpg)
Ü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
![Page 15: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/15.jpg)
Kõigepealt otsekorrutis(live demo)
![Page 16: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/16.jpg)
Tulemus
![Page 17: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/17.jpg)
(x*ay*b)*x*ay*Automaat → Regulaaravaldis
![Page 18: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/18.jpg)
Proovime JFLAP abil(Kõigepealt tahvli peal!)
![Page 19: JFLAP - ut · JFLAP : (final.jff) Help Convert to DFA Miniminize DFA Convert to Grammar Convert FA to RE Combine Automata Add Trap State to DFA qlrl q1rO qOrO Automaton Size . OF-LAP](https://reader031.vdocuments.us/reader031/viewer/2022021623/5bb7dc8a09d3f2751e8b9547/html5/thumbnails/19.jpg)
Tulemus(bb*a|ab)b*