Halbgruppen und Automaten