Automatentheorie: Was ist nochmal eine reflexive Kante?

Question

Moin!

Wenn ich 2 Zustände habe z₁ und z_2. z₁ kann eine Kante 'a' lesen, die den Automaten A zu z₂ überführt. z₁ hat ausserdem eine Kante 'b', die zu z₁ zurückführt.

Eine Kante, die zum selben Zustand zurückführt, heißt "reflexiv" oder?

Und eine Kante die zu einem anderem Zustand führt heißt "transitiv"?

Gruß

Answer 1

Eine Kante, die zum selben Zustand zurückführt, heißt "reflexiv" oder?

Ja

Und eine Kante die zu einem anderem Zustand führt heißt "transitiv"?

nein: Die muss den Weg zweier Kanten abkürzen.