DFA minimeerimine
Kodutöös implementeerime regulaaravaldise teisenduse NFA-ks ja NFA teisenduse DFA-ks, aga üks loengus käsitletud samm on veel implementeerimata! Lisaülesandeks on realiseerida ka see viimane puuduolev DFA minimeerimise samm.
Klassis DfaMinimizer tuleb realiseerida meetod minimize, mis just seda teeks.
Võib eeldada, et argumendina antud automaat on alati DFA, aga mitte ilmtingimata minimaalne.
Seda saab teha erinevate algoritmidega (nt õpikust või loengust).
Oma lahenduse kontrollimiseks on ka vastavad testid, mis muuhulgas sisaldavad õpiku ja loengu näiteid. Minimeerituse kontrolliks kasutavad testid minimeerimise algoritme dk.brics.automaton teegist ja võrdlevad olekute arve. Automaatide teooria muuhulgas garanteerib, et minimeeritud DFA on üheselt määratud.
Lahenduse saab esitada Moodle'isse.