Sumários

6 Dezembro 2019, 08:00 • Andreia Mordido

Resolução de exercícios sobre linguagens decidíveis e Turing-reconhecíveis.

4 Dezembro 2019, 09:30 • André Souto

Noção de algoritmo eficiente.

Definição formal de tempo de execução numa máquina de Turing.

Notação O-grande.

Exemplos.

Definição da classe TIME(t(n)).

Complexidade da simulação dos modelos de máquinas de Turing na máquina original.

4 Dezembro 2019, 08:00 • André Souto

Resolução de exercícios da folha 8 sobre decidibilidade de turing-reconhecimento.

3 Dezembro 2019, 11:00 • Andreia Mordido

Resolução de exercícios sobre linguagens decidíveis e Turing-reconhecíveis.

3 Dezembro 2019, 10:30 • André Souto

Resolução de exercícios da folha 8 sobre decidibilidade de turing-reconhecimento.