Endliche Automaten und Steuerwerke: Moore- vs. Mealy-Modelle und Zustandsautomaten-Design