jflap - ut · jflap : (final.jff) help convert to dfa miniminize dfa convert to grammar convert fa...

19
JFLAP Vesal Vojdani (TÜ Arvutiteaduse Instituut)

Upload: doandien

Post on 06-Oct-2018

246 views

Category:

Documents


0 download

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

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

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

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

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

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

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

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

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

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

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

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

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

Ü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 14: 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

Automaatide Ühisosahttp://planetmath.org/productofautomata

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

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

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

(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

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

Tulemus(bb*a|ab)b*