Sumários

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

10 Novembro 2020, 10:30 • 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.

10 Novembro 2020, 09:30 • André Souto

Recordar a definição formal de máquina de Turing, de configuração e computação numa máquina de Turing.

Linguagem reconhecível por uma máquina de Turing.

Noção de linguagem Turing-reconhecível.

Máquinas de Turing de decisão.

Noção de linguagem Turing-decidível.

Prova que toda a linguagem Turing-decidível é Turing-reconhecível.

Exemplo de desenho de uma máquina de Turing para uma linguagem regular.

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

9 Novembro 2020, 08:00 • André Souto

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

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

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

6 Novembro 2020, 11:30 • André Souto

Resolução de exercícios sobre forma normal de Chomsky e autómatos de pilha

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