Indeed, one can choose Q {\displaystyle Q} to be false to express that C {\displaystyle C} does not terminate.
Thực vậy, người ta có chọn Q là false để diễn tả rằng C không dừng.