Máquina de Turing
Máquina de Turing alternante