A A máquina de Turing capaz de simular outras máquinas de Turing é uma Turing completa, chamada máquina de Turing universal, capaz de calcular qualquer função recursiva, decidir qualquer linguagem recursiva e aceitar qualquer linguagem enumeravelmente recursiva.
B Os autômatos finitos consistem na idealização de um computador capaz de acessar uma quantidade limitada de processos, o que restringe o processamento de informações de forma paralela; portanto, computadores desse gênero têm sua utilização limitada a aplicações simples, como, por exemplo, controlar elevadores ou portas automáticas.
C Nos autômatos de pilha, existe uma estrutura de controle, que representa os estados e as funções de transição, e uminput, que o autômato lê da esquerda para a direita, uma casa de cada vez, atualizando a estrutura de controle.
D Os autômatos de pilha são modelos com uma quantidade de memória finita. Por sua vez, um autômato finito, apesar da limitada capacidade de processamento, por meio de uma pilha, consegue acessar a uma quantidade infinita de memória.
E Os autômatos de pilha correspondem a um modelo mais poderoso que as máquinas de Turing, visto que permitem fazer várias operaçõespopsem perder informações.