Grátis: O conceito de máquina de Turing é central na computação teórica e na definição de algoritmos. Leia o texto a seguir sobre as máquinas de Turing uni... – Questões Respondidas

Gestão de Processos

Outros

O conceito de máquina de Turing é central na computação teórica e na definição de algoritmos. Leia o texto a seguir sobre as máquinas de Turing universais e avalie as afirmacoes abaixo.
Com base no trecho sobre as máquinas de Turing universais, avalie as afirmações abaixo:
I. Uma máquina Universal simularia a máquina observando a saída na fita e o estado da máquina, pois o que determina como o conteúdo da fita muda é uma máquina de estado não finito dentro da máquina de Turing.
II. O modelo da máquina de Turing consiste em uma entrada e uma saída, e o principal problema com elas é que uma diferente deve ser construída para cada nova computação a ser realizada.
III. A máquina de Turing (TM, em inglês) é o nível de máquina equivalente a um computador digital.
I e III, apenas.
III, apenas.
II, apenas.
II e III, apenas.
I e II, apenas.

Desafios para Aprender

há 3 semanas

Desafios para Aprender

há 3 semanas

Ling Formais e Autômatos_Teste_ AO2

Ling Formais e Autômatos_Teste_ AO2

FAM

Respostas

Ed

há 3 semanas

Vamos analisar cada uma das afirmações: I. Uma máquina Universal simularia a máquina observando a saída na fita e o estado da máquina, pois o que determina como o conteúdo da fita muda é uma máquina de estado não finito dentro da máquina de Turing. Essa afirmação é confusa. Uma máquina de Turing universal pode simular qualquer outra máquina de Turing, mas a descrição não está clara e pode ser considerada incorreta. II. O modelo da máquina de Turing consiste em uma entrada e uma saída, e o principal problema com elas é que uma diferente deve ser construída para cada nova computação a ser realizada. Essa afirmação é verdadeira, pois uma máquina de Turing é projetada para uma tarefa específica e, para cada nova computação, uma nova máquina pode ser necessária. III. A máquina de Turing (TM, em inglês) é o nível de máquina equivalente a um computador digital. Essa afirmação é verdadeira, pois a máquina de Turing é um modelo teórico que é equivalente em poder computacional a um computador digital. Agora, vamos resumir as afirmações verdadeiras: - A afirmação II é verdadeira. - A afirmação III é verdadeira. - A afirmação I é confusa e pode ser considerada incorreta. Portanto, a alternativa que contém todos os itens verdadeiros é: II e III, apenas.

Essa resposta te ajudou?

0

0

Ainda com dúvidas?

Envie uma pergunta e tenha sua dúvida de estudo respondida!

Essa pergunta também está no material:

Ling Formais e Autômatos_Teste_ AO2

Ling Formais e Autômatos_Teste_ AO2

FAM

Mais perguntas desse material

Com base nas informações sobre os autômatos de pilha, avalie as seguintes asserções e a relação proposta entre elas.
Com base nas asserções, assinale a opção correta:
I. Um autômato pushdown, ou autômato de pilha, é uma máquina de estado infinito que possui um armazenamento de pilha adicional.
II. Um autômato de pilha é um autômato com estados infinitos que também pode usar uma pilha limitada de memória.
As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I.
As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da I.
A asserção I é uma proposição verdadeira, e a II é uma proposição falsa.
A asserção I é uma proposição falsa, e a II é uma proposição verdadeira.
As asserções I e II são proposições falsas.

Assinale a alternativa que representa o principal objetivo das máquinas de Turing:
Oferecer um sistema formal.
Criar computadores digitais.
Listar a natureza dos símbolos.
Ser uma máquina abstrata.
Verificar jogadas de xadrez.

Considerando os aspectos relacionados às gramáticas regulares, avalie as afirmações abaixo:
I. Uma linguagem regular pode ser expressa usando um autômato finito determinístico ou não determinístico, uma expressão regular ou uma gramática regular.
II. Gramáticas regulares é outra maneira de descrever linguagens regulares. Uma gramática é composta por terminais, variáveis e regra de produção.
III. Gramáticas regulares representam exatamente o conjunto de linguagens regulares para mostrar que podemos converter qualquer autômato finito não determinístico em uma gramática regular.

# É correto, apenas, o que se afirma em:
I.
II.
I e II.
II e III.
I, II e III.

Com base nas informações sobre a máquina de Turing não determinística, avalie as seguintes asserções e a relação proposta entre elas.
Com base nas asserções, assinale a opção correta:
I. Uma máquina de Turing não determinística é uma generalização de uma máquina de Turing determinística padrão, em que passamos de uma sequência de etapas de computação determinada para várias sequências possíveis.
II. Reduzir a quantidade de trabalho computacional do paradigma determinístico permite que as máquinas de processamento não determinísticas abram caminho para a computação artificialmente inteligente.
A asserção I é uma proposição falsa, e a II é uma proposição verdadeira.
As asserções I e II são proposições falsas.
As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I.
As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da I.
A asserção I é uma proposição verdadeira, e a II é uma proposição falsa.

Considerando o texto sobre a hierarquia de Chomsky, avalie as afirmações abaixo:
É correto o que se afirma em:
I. As linguagens gramaticais do tipo 0 são reconhecidas pela Máquina de Turing, pois não há restrição nas regras gramaticais desses tipos de linguagens.
II. As gramáticas do tipo 3 geram linguagens regulares, que são aquelas linguagens que podem ser descritas usando expressões regulares.
III. As gramáticas do tipo 2 geram linguagens livres de contexto e a gramática do tipo 1 é conhecida como gramática sensível ao contexto.
IV. As do tipo 1 são a forma mais restrita de gramática, pois as gramáticas do tipo 1 são conhecidas como gramáticas irrestritas.
II e IV, apenas.
I, II e IV, apenas.
I e IV, apenas.
I, II e III, apenas.
II e III, apenas.

Considerando as informações sobre conjuntos em linguagens formais, assinale a opção correta:
Agrupar os objetos em um conjunto é um ato de unir esses objetos com os membros ou elementos de outro conjunto.
Conhecer o tipo de um conjunto é irrelevante para entender as operações de conjunto apropriadas aplicáveis a esse conjunto específico.
Um conjunto é geralmente representado por letras minúsculas e um elemento do conjunto por letras maiúsculas.
Um conjunto é a representação de uma coleção de objetos, esses são objetos distintos com uma ou mais propriedades comuns.

ios podem ser vistos como transições encapsuladas nas quais, excetuando-se por uma eventual mudança de estado, nada mais pode ser observado, de forma análoga à noção de encapsulação das linguagens orientadas a objetos. Prova-se que os três tipos de autômatos acima são equivalentes em termos de poder computacional.
Com base nos conceitos sobre autômatos, assinale a alternativa que apresenta um de seus tipos:
Compilador.
De pilha.
Estados.
Modelo computacional.
Linguagem formal.

A teoria das Linguagens Formais é fundamental para a compreensão dos autômatos e suas propriedades. Avalie as seguintes asserções e a relação proposta entre elas.
Com base nas asserções, assinale a opção correta:
I. Um símbolo é o nosso bloco de construção básico nas linguagens formais, geralmente um caractere ou um dígito, pois um alfabeto é um conjunto finito de símbolos.
II. Uma string é uma sequência infinita de símbolos do alfabeto, pois uma linguagem formal é um conjunto de strings possivelmente infinitas, todas sobre o mesmo alfabeto.
A asserção I é uma proposição falsa, e a II é uma proposição verdadeira.
As asserções I e II são proposições falsas.
A asserção I é uma proposição verdadeira, e a II é uma proposição falsa.
As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I.
As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da I.

A normalização é um conceito importante em bancos de dados, visando prevenir anomalias e inconsistências. Analise o texto abaixo sobre normalização e formas normais.
Considerando as informações apresentadas acima, assinale a opção correta sobre normalização e formas normais:
A normalização envolve a organização das colunas com as relações, e tabelas com os atributos.
A normalização é o processo de estruturar um banco de dados relacional de acordo com as formas normais.
Se temos um modelo na 3ª forma normal, isso significa que ele também atende aos níveis 4 e 5.
A normalização é realizada sempre ao criar um novo design de banco de dados, o que chamamos de decomposição.
Um modelo hipotético de forma normal de nível 2 é mais normalizado que um de nível 4 ou 5.