There are several models in use, but the most commonly examined is the Turing machine.
Existen varios modelos en uso, mais o máis comunmente examinado é a máquina de Turing.