Autómatos Finitos Deterministas

18 Setembro 2019, 09:30 • André Souto

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

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 (e respectiva prova) de linguagens regulares.

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