Beschreibung der Zustandsübergänge eines Automaten durch einen Graphen. /VDI 3633 Entwurf/