Além disso, não sei lidar com isso nem em modelos mais abstratos. Tipo, como uma máquina de Turing teria "meio estado"?
Quem aqui começou a falar de computador?
Eu!
Não é o caso do tópico. Computadores são máquians de estados discretos. Espaços matemáticos, não.