Sumários

16 Novembro 2020, 08:00 • André Souto

Resolução de exercícios sobre máquinas de Turing.

Aula em regime alternado misto com transmissão via zoom.

13 Novembro 2020, 11:30 • André Souto

Resolução de exercícios sobre autómatos de pilha.

Resolução de exercícios sobre máquinas de Turing.

Resolução do 2º exercício TP.

Aula em regime alternado misto com transmissão via zoom.

13 Novembro 2020, 08:00 • André Souto

Resolução de exercícios sobre autómatos de pilha.

Resolução de exercícios sobre máquinas de Turing.

Resolução do 2º exercício TP.

Aula em regime alternado misto com transmissão via zoom.

13 Novembro 2020, 08:00 • Andreia Mordido

Resolução de exercícios sobre autómatos de pilha, ficha 5.

Resolução de exercícios sobre máquinas de Turing, ficha 6.

Resolução do 2º exercício TP.

Aula em regime misto alternado.

11 Novembro 2020, 09:30 • André Souto

Recordar a definição e diferençe entre linguagens Turing-reconhecíveis e Turing-decidíveis.

Exemplo de máquina de Turing.

Variantes das máquinas de Turing: versão Stay, multifita, fita infinta para ambos os lados e não determinista.

Equivalência entre todas as variantes por equivalência à máquina de Turing standard.

Estudar secção 3.1 e 3.2 do Sipser.
A aula foi dada em regime síncrono não presencial com transmissão via Zoom.