Entwurf endlicher Automaten