A criação dos autômatos foi um grande avanço no que diz respeito ao processamento computacional. Alan Turing, com sua ideia revolucionária na construção de máquinas computacionais, propôs que um computador digital fosse construído por meio da formalização de procedimentos de tempo finito. Formalmente, um autômato é considerado uma máquina de estados finitos.

O Autômato Finito Determinístico (AFD) é compreendido como qualquer máquina de estado finito que explicita todas transições possíveis e que limita em uma transição específica para cada entrada em função do estado atual.

Neste curso online, você verá conceitos sobre o não determinismo, com ênfase em suas definições formais, características e notações, de modo a diferenciar um Autômato Finito Não Determinístico (AFN) de um AFD. Além disso, verá como construir um AFD equivalente a um AFN conhecido utilizando alguns passos.

O Curso Online Construção de Autômatos Finitos Não Determinísticos é voltado a profissionais e estudantes de Engenharia de Software e áreas relacionadas, assim como a todos interessados no tema. Recomenda-se que o cursista tenha conhecimentos básicos de teoria da computação.

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é 30 dias após a compra.