Sintassi e Semantica: differenze tra le versioni

Tra i nodi possibili ne esistono due tipi particolari: il nodo di inizio, rappresentato da un arco entrante ma che non proviene da nessun altro nodo rappresenta lo stato iniziale. I nodi terminali o finali sono >= 1 e rappresentano tutti quei possibili stati in cui la computazione può terminare; sono rappresentati da un doppio cerchio.