Funktion, die für jeden Zustand eines gegebenen Systems und für jeden Input festlegt, in welchen Folgezustand das System übergeht. /VDI 3633 Entwurf/