Angenommen ich habe einen endlichen Automaten und einen Lauf zu einem Wort aus der Sprache des Automaten.
Nun möchte ich den Weg des Laufes beschreiben, sollte ich dann im Präsenz schreiben:
"Der Lauf besucht zunächst die Zustände xy"
oder
"Der Lauf hat zunächst die Zustände xy besucht"
Wie macht es mehr Sinn bzw. wären beide Varianten in Ordnung?
