Im Skript von Herrn Valk ist in der Definition 3.6 die Erreichbarkeitsmenge wie folgt definiert:

R(N) := {m|es gibt ein w aus T*: m_0 -w->m}
T ist die Menge der Transitionen, aber was ist T* ?

T ist die Menge der Transitionen, aber was ist T* ?

Hier soll T als Alphabet aufgefasst werden. T* ist dann also
die Menge aller Wörter, deren Symbole aus T sind.