Sumários

25 Setembro 2018, 11:00 • Andreia Mordido

Resolução dos exercícios da folha nº1 correspondentes ao uso de notação de strings e tipos de provas. Indução e construção.

25 Setembro 2018, 10:30 • André Souto

Resolução dos exercícios da folha nº1 correspondentes ao uso de notação de strings e tipos de provas. Indução e construção.

25 Setembro 2018, 09:30 • André Souto

Introdução aos autómatos finitos deterministas.
Exemplos de motivação.

Definição de autómatos finito determinista.

Representação em forma de diagrama de um DFA.
Exemplos de computação de strings num DFA.
Exemplos de autómatos.

Estudar secção 1.1 do livro do Sipser.

24 Setembro 2018, 08:00 • André Souto

Resolução dos exercícios da folha nº1 correspondentes ao uso de notação de strings e tipos de provas. Indução e construção.

21 Setembro 2018, 11:30 • André Souto

As aulas teórico-práticas da unidade curricular iniciam-se na segunda semana de aulas.