diff --git a/alib/src/automaton/PDA/TransitionPDA.cpp b/alib/src/automaton/PDA/TransitionPDA.cpp
index 0cfec709b674aecf62d4ffe6f562b5fc2c47b1e3..88c067cdfdfb16ffff2e97d992d00e0c08deb17c 100644
--- a/alib/src/automaton/PDA/TransitionPDA.cpp
+++ b/alib/src/automaton/PDA/TransitionPDA.cpp
@@ -40,7 +40,7 @@ bool TransitionPDA::operator <(const TransitionPDA& other) const {
 		return from < other.from;
 	} else if (input != other.input) {
 		return input < other.input;
-	} else if (to != to) {
+	} else if (to != other.to) {
 		return to < other.to;
 	}
 
diff --git a/alib/src/automaton/UnknownTransition.cpp b/alib/src/automaton/UnknownTransition.cpp
index 218d42e915baa124932a16cc8aac93a68476388c..985b35aa3cb8f519f440e1f70ebb57f04b9c68c4 100644
--- a/alib/src/automaton/UnknownTransition.cpp
+++ b/alib/src/automaton/UnknownTransition.cpp
@@ -55,7 +55,7 @@ bool UnknownTransition::operator <(const UnknownTransition& other) const {
 		return input < other.input;
 	} else if (to != other.to) {
 		return to < other.to;
-	} else if (output != output) {
+	} else if (output != other.output) {
 		return output < other.output;
 	} else if (shift != other.shift) {
 		return shift < other.shift;