Aliases:: Zustände
  ⟺  \iff⟺ es gibt ein Pfad der nach endlich vielen Schritten zu einem akzeptierendem Zustand führt
forward:: Zustand
QQQ, endliche Menge von Zuständen (Zustandsmenge)
  ⟺  \iff⟺ er hält in einem akzeptierendem Zustand