def EA heißt endlich, da sr
da Zustandsmenge endlich
(vgl. mit Speicher)
Jlg1c0Nu4 r/3
roam/sr/review