O que é uma máquina de Turing? A. Um tipo de computador B. Um modelo teórico (X) C. Uma linguagem de programação D. Um dispositivo de armazenamento

Uma máquina de Turing é um modelo teórico que foi proposto por Alan Turing para formalizar o conceito de computação e algoritmos. Ela é usada para entender os limites do que pode ser computado. Analisando as alternativas: A. Um tipo de computador - Não é um computador físico, mas sim um modelo teórico. B. Um modelo teórico (X) - Correto, pois é exatamente isso que uma máquina de Turing representa. C. Uma linguagem de programação - Não, não é uma linguagem de programação. D. Um dispositivo de armazenamento - Também não, não é um dispositivo de armazenamento. Portanto, a alternativa correta é: B. Um modelo teórico (X).