Title: Automatische Zustandssynthese von Registertransfer-Strukturen aus algorithmischen Verhaltensbeschreibungen