A Máquina de Turing é um conceito fundamental na teoria da computação, introduzido por Alan Turing em 1936. Ela é uma abstração matemática que formaliza a noção de algoritmo ou procedimento mecânico. Uma Máquina de Turing consiste em uma fita infinita dividida em células, cada uma contendo um símbolo de um alfabeto finito, uma cabeça de leitura/escrita que pode mover-se para a esquerda ou para a direita na fita, e um conjunto de estados finitos, incluindo um estado inicial e um ou mais estados finais de aceitação.

A operação da Máquina de Turing é determinada por uma tabela de transições que, dado o estado atual e o símbolo lido na fita, especifica três coisas: o símbolo a ser escrito na fita, a direção do movimento da cabeça (esquerda ou direita), e o próximo estado da máquina. A Máquina de Turing aceita uma cadeia de entrada se, começando no estado inicial com a fita contendo a cadeia de entrada (seguida de espaços em branco), eventualmente atinge um estado de aceitação.

Este curso, aborda um poderoso formalismo reconhecedor de linguagens: a máquina de Turing. O aluno conhecerá a definição e o funcionamento da máquina de Turing determinística, algumas modificações propostas sobre ele, os conceitos em torno dos problemas de decisão, a diferença entre decidibilidade e indecidibilidade, entre outros temas.
Bons estudos!

O Curso Online Máquina de Turing e Decidibilidade é voltado para profissionais e estudantes da área de Engenharia, além de interessados no assunto.

Este curso dispõe dos seguintes recursos de acessibilidade: cores em alto contraste, aumento de fonte e tradução automática mediante a Língua Brasileira de Sinais (Libras). Para ativar esses recursos, acesse "minha conta" do lado direito da tela na parte superior e habilite de acordo com sua necessidade.

O conteúdo do curso ficará disponível por até 120 dias após a compra.