Minimize Automata Online — Chalupa Svébohy