Sumários

Não se realizou

18 Setembro 2020, 08:00 • André Souto

As aulas TP's desta Unidade Curricular só se iniciam na segunda semana uma vez que não existe ainda matéria teórica leccionada.

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).

Não se realizou

16 Setembro 2020, 08:00 • Andreia Mordido

As aulas TP's desta Unidade Curricular só se iniciam na segunda semana uma vez que não existe ainda matéria teórica leccionada.

Não se realizou

15 Setembro 2020, 10:30 • Andreia Mordido

As aulas TP's desta Unidade Curricular só se iniciam na segunda semana uma vez que não existe ainda matéria teórica leccionada.

Sinopse, introdução à unidade curricular e conceitos base.

15 Setembro 2020, 09:30 • André Souto

Considerações sobre o funcionamento da disciplina.

Apresentação dos moldes de avaliação. Apresentação do programa, bibliografia e contactos. 

Introdução à Teoria da Computação:
- Porquê é importante estudar Teoria da computação.
- Modelos de computação. 
- Questões de computabilidade e de complexidade.

Noções básicas que serão utilizadas ao longo do semestre:Notação, noção conjuntos, strings, alfabetos e linguagens.

Os alunos devem consultar e estudar o Capítulo 0 do livro do Sipser.

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