Describir: Halbgruppen und Automaten /