Indeed, one can choose Q {\displaystyle Q} to be false to express that C {\displaystyle C} does not terminate.
Tatsächlich kann man für Q {\displaystyle Q} die Aussage falsch wählen, um auszudrücken, dass S {\displaystyle S} nicht terminiert.