Äquivalenzklassen-Automat

Der Äquivalenzklassen-Automat

Der Äquivalenzklassen-Automat ist auch als Faktorautomat bekannt – siehe hier.