"finite state machine" Deutsche bedeutung