Endlicher Automat Lauf Beschreibung

Question

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?

Answer 1

Ich würde das in der Gegenwart (Präsens) schreiben.

Also so, als wenn du gerade einen Durchlauf betrachtest und den kommentierst.