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.