November 2023 1 46 Report
Leia o trecho a seguir:
“Em 1936, Alonzo Church demonstrou a tese de Church, na qual afirmou que qualquer função computável poderia ser processada através de uma máquina de Turing, dessa forma, se criou a premissa de que sempre existirá um procedimento definido, no qual uma máquina de Turing processará uma função computacional”.

MENEZES, P. B. Linguagens formais e autômatos. São Paulo: Sagah, 2015. p. 159.

Considerando o excerto apresentado sobre as propriedades da máquina de Turing, analise as afirmativas a seguir.

I. É impossível apresentar formalmente se a máquina de Turing é, de fato, o modelo mais genérico de dispositivo computacional.
II. Todos os modelos conhecidos propostos após a máquina de Turing possuem, no máximo, a mesma capacidade computacional da máquina de Turing.
III. A tese de Church não foi assumida como uma hipótese para toda a teoria da computação, razão pela qual não é empregada.
IV. A máquina de Turing é um autômato cuja fita possui tamanho máximo e pode ser usada simultaneamente como dispositivo de entrada e de saída.

Está correto o que se afirma em:
Please enter comments
Please enter your name.
Please enter the correct email address.
You must agree before submitting.

Lista de comentários


Helpful Social

Copyright © 2024 ELIBRARY.TIPS - All rights reserved.