m3talelite / ForGen

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

Automata.cs beginstaten #11

Closed guusbeckett closed 9 years ago

guusbeckett commented 9 years ago

startStates; is meervoud en een sorted set.

Dit kan uiteraard niet omdat een automaton slechts 1 startpunt heeft, ook al laten ε overgangen de automaton zich soms wel gedragen alsof er meer startpunten zijn.