Sumários
Resolução de Exercícios sobre DFA's
20 Setembro 2019, 08:00 • André Souto
Resolução de exercícios sobre a folha de exercícios sobre autómatos com ênfase na definição de DFA, de computação, reconhecimento por um DFA e desenho de DFA's para linguagens.
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 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.