Leia o trecho a seguir: Um modelo é uma simplificação da realidade abstraindo detalhes e assim facilitando a aplicação de soluções. Um modelo computacional não é diferente, em vez de representar toda complexidade de um computador real, detalhes são abstraídos e eles já permitem discussões sobre alguns tipos de algoritmos. [Preencher 1] são modelos mais simples que podem representar dispositivos bem limitados em termos de capacidade de memória. Já [Preencher 2] é um modelo baseado em uma fita infinita e um cabeçote que pode se movimentar para esquerda e direita, ler e escrever na fita e com estados finais de aceitação e rejeição. Por sua vez, [Preencher 3] é a idealização de um computador que processa sequencialmente uma quantidade de inteiros e com operações aritméticas, de comparação e lógicas, por exemplo. As lacunas [Preencher 1], [Preencher 2] e [Preencher 3] são corretamente substituídas por.