Bemerkung: Es findet zu jeder Eingabe ein eindeutiger Uebergang von einem Zustand in den naechsten statt.
CSLIB 2000