w-Pfad

Einfache Sprache

Def. w-Pfad

Für eine Berechnung eines NEA $r_0r_1\ldots r_n$ heißt $r_0r_1\ldots r_n$ auch w-Pfad durch $\mathcal A$ oder auch mit $w$ beschrifteter Pfad durch $\mathcal A$.

Falls $q_0\in I$ ist es ein initialer w-Pfad.

Falls $q_n\in F$ ist es ein finaler w-Pfad.

Falls ein w-Pfad gleichzeitig initial und final ist hießt er auch akzeptierender w-Pfad