Metadata
Author: Common crawl
Data
German[de]
Der Startzustand gibt seine Markierung weiter an den Endzustand wenn die Übergangsbedingung an der Kante bNE = true wird.
English[en]
The starting state passes its mark on to the final state once the transition condition on edge bNE = true is reached.