Mini-Theo ist eine Plattform, um den Minimierungs-Algorithmus zu lernen.
Minimiere folgenden Automaten.