A lot of machines presented in literature only use one halting state, no need to add extra complexity.