Part of DEA

{{TODO}} $\delta$ - eine eindeutige Übergangsfunktion, d.h. es gibt keine Wahlmöglichkeiten

vgl. NEA, wo $\delta$ eine Übergangsrelation ist