Besonderhede van voorbeeld: -3633943320138650882

German

Jeder Zustand ist ein Knoten und jeder Übergang eine gerichtete Kante des Übergangsgraphen.

English

Every state is a vertex, and every transition is a directed edge of the transition graph .