m3talelite / ForGen

Formele Methode project
European Union Public License 1.1
0 stars 1 forks source link

Optimalisatie van een NDFA/DFA #7

Closed guusbeckett closed 9 years ago

guusbeckett commented 9 years ago

Deze kunnen we beter laten wachten tot de reverse en het omzetten van een NDFA naar DFA klaar is, aangezien deze twee functies gebruikt zullen worden voor deze functie. Een ander algoritme is ook mogelijk, maar dat zal voor meer code zorgen. Doe dit alleen als er blijkt dat daar genoeg tijd voor is (Zie de slides van Paul les 6).

Voor 1 algoritme krijgen we 10 punten, voor 2 krijgen we 20 punten

guusbeckett commented 9 years ago

Zie hier het andere algoritme: https://en.wikipedia.org/wiki/DFA_minimization