Autómatos Finitos deterministas

16 Setembro 2020, 09:30 • André Souto

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

Exemplo motivador sobre DNA para a definição de DFA.
Exemplo de um DFA para um padrão em DNA.
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.
Definição formal de computação num DFA.
Noção de linguagem reconhecida por um DFA.
Noção de linguagem regular.
Exemplos de DFA's para algumas linguagens.

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

(Aula dada em regime NPS e transmitida via Zoom).