Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten.