File:Minimized_DFA.svg loading ...