Para desenvolver Aula Prática Análise de Computabilidade e Complexidade de Algoritmos, comece identificando os objetivos e as entregas solicitadas no roteiro. A seguir, veja os pontos presentes na descrição desta atividade e organize teu relatório de acordo com as orientações do curso.
O que é esta aula prática?
Antes de começar, leia a apresentação e identifique o tema, a unidade e o formato pedido.
Máquina de Turing: componentes e funcionamento
Teoria da Computabilidade: relação máquina–linguagem
Alfabeto da fita e símbolos transformados (A, B, β)
Objetivos e conhecimentos trabalhados
Use os objetivos do roteiro para definir o que a atividade precisa demonstrar.
Definição dos objetivos da aula prática:
Compreender os conceitos e características de uma máquina de Turing e entender a relação de
uma máquina e a aceitação de uma linguagem
Como desenvolver a atividade passo a passo
Execute cada etapa na ordem indicada e registre o que foi feito para depois explicar o processo no relatório.
Atividade prática da disciplina Análise de Computabilidade e Complexidade de Algoritmos, Unidade 1 – Teoria da Computabilidade – Programas e Máquinas, Aula 3 (Máquinas de Registradores). A proposta exige a concepção e verificação de uma Máquina de Turing determinística aplicada ao problema formal indicado: L = {anbn | n>=0}. O foco é compreender os componentes formais da máquina (fita, cabeçote, estados, função de transição) e sua relação com a aceitação de linguagens, enfatizando a modelagem abstrata típica da teoria da computação.
A atividade orienta a construção completa da Máquina de Turing que reconhece a linguagem L indicada, incluindo a definição de estados, alfabeto da fita (símbolos de entrada e símbolos transformados, p.ex. a, b, A, B e o espaço em branco β), regras de transição determinísticas, movimentação do cabeçote e critérios de aceitação. São esperados testes com cadeias válidas (ex.: aaabbb) e inválidas (ex.: aabbb, abb, aab) e documentação do projeto em formato de imagem inserida em um PDF de até 2 MB para envio.
O que é desenvolvido nesta atividade Definição analítica e prática de uma Máquina de Turing Determinística para L = {anbn | n>=0}: analisar as características do modelo (fita, cabeçote, registradores/estados), criar a máquina com estados e transições bem definidas, verificar o determinismo das regras, executar testes com palavras pertencentes e não pertencentes à linguagem e documentar a máquina por meio de diagrama ou imagem. A atividade exige atenção à precisão das transições (símbolo lido → símbolo escrito, direção do movimento e novo estado) e aos critérios de aceitação/finalização da fita.
Procedimentos de teste: cadeias de aceitação e rejeição
Critérios de aceitação e documentação do projeto (imagem em PDF ≤ 2MB)
NOME DA DISCIPLINA: Análise de Computabilidade e Complexidade de Algoritmos
Unidade: 1 – Teoria da Computabilidade – Programas e Máquinas
Aula: 3 -Máquinas de Registradores – Norma
PROCEDIMENTOS PRÁTICOS E APLICAÇÕES
Desenvolver uma Máquina de Turing a partir do problema proposto.
A Máquina de Turing (MT) é um dispositivo imaginário que criou a base para a ciência da
computação contemporânea. Pode ser definida como um modelo abstrato de um computador,
que se limita apenas aos aspectos lógicos do seu funcionamento, e não à sua implementação
física. Numa Máquina de Turing é possível modelar qualquer máquina digital. Apesar de a
Máquina de Turing ser um modelo abstrato, sua aplicação prática pode ser vista em diversas
• Estudar a capacidade computacional dos algoritmos, permitindo a definição formal,
apresentando se um problema é computável ou não.
• A MT é usada como base teórica para projetar e analisar linguagens de programação. Ela
auxilia na identificação dos limites da computação e na compreensão da expressividade
e da capacidade de diferentes linguagens.
• Analisar problemas computacionais e classifica-os de acordo com sua dificuldade. Ela é
usada para estudar classes de complexidade, como P, NP, NP-completo, dentre outras.
• Pode ser utilizada no campo da Inteligência Artificial, sobretudo no que diz respeito à
computação universal e à capacidade de sistemas artificiais de executar tarefas
Apesar de a Máquina de Turing ser um modelo teórico, sua aplicação prática é ampla e influencia
Procedimentos para a realização da atividade:
Analisar as características da Máquina de Turing;
Criar a Máquina de Turing que aceita a linguagem passada (lembrando que é um modelo teórico
Testar a Máquina criada com palavras que pertencem a linguagem (Ex: aaabbb);
Testar a Máquina criada com palavras que não pertencem a linguagem (Ex: aabbb, abb, aab;)
Como conferir e avaliar o trabalho
Confira os critérios e perguntas do roteiro antes de finalizar a entrega.
Avaliando os resultados:
O desenvolvimento da máquina de Turing para o problema apresentado envolve a definição
precisa de seus componentes: estados, alfabeto da fita, transições, e critérios de aceitação. Os
estados representam as etapas distintas do processamento da entrada. Cada estado
desempenha uma função específica no reconhecimento ou transformação dos símbolos. O
alfabeto é composto por símbolos de entrada (a, b), símbolos transformados (A, B) e o espaço
A criação das regras de transição é importante para garantir que a máquina realize o
balanceamento duplo corretamente. O estado inicial é configurado para identificar o começo da
sequência e transformar os símbolos conforme necessário, movendo o cabeçote para o próximo
símbolo. Estados intermediários são projetados para processar e transformar os símbolos de
entrada, garantindo que a máquina verifique a consistência dos padrões e trate corretamente os
espaços vazios. O estado final sinaliza que a fita foi processada com sucesso. A implementação
dessas transições requer um mapeamento cuidadoso entre os estados e suas respectivas ações,
garantindo que a lógica definida no grafo seja traduzida para o comportamento da máquina.
Checklist:
ü Testar com valores que pertencem a linguagem;
ü Testar com valores que não pertencem a linguagem.
Resultados e organização do relatório
Apresente o que foi obtido e relacione os resultados com os objetivos da atividade.
Resultados do experimento:
Ao final dessa aula prática, você deverá enviar um arquivo em pdf contendo a imagem da
Máquina de Turing desenvolvida. O arquivo não pode exceder o tamanho de 2Mb.
Resultados de Aprendizagem:
Como resultados dessa prática será possível compreender como um modelo computacional pode
resolver problemas complexos por meio de operações simples e sequenciais.
O seu trabalho é disponibilizado pronto, respondido e nas normas já na mesma hora aqui em nosso site na sua área de downloads e também no seu e-mail.
Portfólio em Word, respondido, completo e já nas normas
Se estiver acessando pelo computador, escaneie o QR Code abaixo com a câmera do celular para abrir nosso atendimento no WhatsApp.
Como estruturar o relatório
Organize a entrega em identificação da atividade, objetivos, recursos utilizados, descrição dos procedimentos, registros dos resultados e conclusão. Ajuste essa sequência ao modelo exigido pela instituição e inclua apenas observações e evidências obtidas durante a tua própria execução.
Checklist antes de entregar
- Conferir se todos os objetivos do roteiro foram contemplados.
- Descrever os procedimentos na ordem em que foram realizados.
- Inserir registros, imagens ou arquivos quando a atividade solicitar.
- Relacionar os resultados com as tarefas e revisar o formato de entrega exigido.
