Introdução aos autómatos finitos deterministas

15 Setembro 2021, 09:30 • André Souto

Motivação para o estudo dos Autómatos finitos.

Importância do modelo.
Exemplo motivador sobre identificação de uma sequência de DNA para a definição de DFA.
Noção de estado, transição, computação e aceitação num DFA.
Definição por meio de diagrama de DFA.
Definição formal de DFA e formal condensada.
Definição formal de computação num DFA.
Noção de linguagem reconhecida por um DFA.
Noção de linguagem regular.

Os alunos devem estudar a secção 1.1. do livro do Sipser.