Nessa dissertação consideramos detalhadamente a teoria matemática das máquinas de Turing, que servem como ferramenta de estudo em áreas da Matemática e da Computação. Ao lado delas, lidamos com os tipos de funções que lhe ...